This is a random number seeding example