
; Randomize the seed in the random number generator.

