char *version = "@(#)MH 6.8.4 #17[UCI] (octavian) of Mon Aug 11 09:28:06 PDT 1997";