char *pepsyversion = "pepsy 7.0 #11 (SOS) of Wed Apr 15 16:09:22 EDT 1992";