seeded random number generator for Javascript