/consider.src/1.1.1.1/Thu Oct 11 21:48:42 2001//
/flip.src/1.2/Sun Jan 13 23:51:34 2002//
/resign.src/1.2/Sat Oct 27 01:23:34 2001//
D
