../ MINES.FON 19-Jun-1992 10:21 2110 MINES.OPO 06-Jul-1992 09:39 11859 MINES.PIC 04-Jun-1992 13:24 404 MINES.TXT 07-Jul-1992 09:04 17141 READTHIS.NOW 02-May-1992 16:01 5645