$pc = 0; $frozenbody = 'Content-Type: text/html; charset=ISO-8859-1
Please enter an integer seed for the random number generator:
';