/random.def/1.1/Mon Jun 11 18:55:15 2001//
/random.c/1.2/Sun Sep  9 03:08:13 2001//
/Makefile.in/1.7/Tue Mar 12 04:39:42 2002//
D
