/CONTENTS/1.2/Sun Jun 20 21:33:28 2004//
/FIRST-SCRIPT/1.1/Sun Feb 23 09:52:47 2003//
/PATCHING/1.5/Sun Jun 20 21:33:28 2004//
/PORTING/1.2/Sun Jun 20 21:33:28 2004//
/TIMERS/1.1/Sun Feb 23 09:52:47 2003//
/UDEF/1.1/Sun Feb 23 09:52:47 2003//
D
