/bad1.T/1.4/Tue Jun 19 14:03:40 2001//
/bad1.hs/1.1/Thu Mar  8 14:46:22 2001//
D
