random_seed from 217452 on Manuel
random_seed: 100132000