Better seeding of random