/Makefile/1.3/Thu May 18 16:46:37 2000//
/bad144.8/1.10/Thu Nov  9 17:53:11 2000//
/bad144.c/1.11/Thu Mar 14 16:44:24 2002//
D
