/all.T/1.1/Tue Jun 19 14:03:40 2001//
/bad1.hs/1.1/Thu Mar  8 14:46:20 2001//
/ok1.hs/1.1/Thu Mar  8 14:46:20 2001//
D
