char *pepsyversion = "pepsy 6.0 #41 (kerberos.berkeley.edu) of Mon Aug 13 20:15:55 PDT 1990";