Seed

This option specifies the seed used for the pseudo random number generator.  This option is used by setting

Option Seed=number;

The default value is 3141.  The function Execseed also manipulates and retrieves the random number seed.