char *pepsyversion = "pepsy 6.0 #117 (soup) of Tue Mar 12 16:05:18 EST 1991";