/Makefile/1.2/Sun Sep 21 11:35:25 1997//
/banner.6/1.3/Thu Mar 12 09:09:10 1998//
/banner.c/1.5/Wed Jul 23 20:04:46 1997//
D
