added PRNG