/00Index/1.1/Fri Oct 27 18:24:51 2000//
/avex.R/1.2/Tue Aug 29 21:48:10 2000//
/leman.R/1.1/Tue Aug 29 21:48:11 2000//
/leman.bank.R/1.1/Sun Mar 11 23:29:22 2001//
/leman.grid.R/1.1/Wed Aug 30 12:34:03 2000//
D
