updated PRNG