/Makefile/1.3/Thu May 18 16:46:37 2000//
/bad144.8/1.10/Thu Nov  9 17:53:11 2000//
/bad144.c/1.14/Mon Jun 10 00:40:53 2002//
D
