random generator seeding done right