char *version = "MH 6.4 #13[UCI] (monet.Berkeley.EDU) of Fri Jun  6 11:06:56 PDT 1986";