A way to set the seed of RandomNumber