Define parameter pr

Option Fxxx will load the random rule percentage parameter pr with the value xxx, which should be an integer in the range 0-1000. The value is expressed in mils, therefore 50% probability would be expressed as F500; it is the default probability taken by pr if no other definition has been given.

Harold V. McIntosh