/hs13.m/1.1/Tue Jan 31 16:49:45 2012//
/hs13.spc/1.1/Tue Jan 31 16:49:44 2012//
/hs13userfun.m/1.1/Tue Jan 31 16:49:45 2012//
/hsmain.m/1.3/Fri May  5 05:17:58 2006//
/hsmain.spc/1.2/Sun Jun 19 05:11:51 2005//
/hsmainusrfun.m/1.2/Sun Jun 19 05:11:51 2005//
D
