If instead we would like Darwin to choose a different seed value (besides the predefined seed value), the command SetRandSeed can be used. This command generates a seed value as a function of the current date and time of the system clock.
> # restart Darwin > SetRandSeed(); > Rand(); 0.9637