random.seed(42)