random_seed from 227867 on Manuel
random_seed: 750717000