seeding the random number generators properly