now we can call phc -0345332 to use 345332 to seed the random number generator