/Makefile/1.3/Thu May 18 16:46:37 2000//
/bad144.8/1.10/Thu Nov  9 17:53:11 2000//
/bad144.c/1.9/Sun Aug 12 12:03:03 2001//
D
