Added random number generator seeding.