Set seed to 4357U as in IT++ test