../ diskx12 25-May-2002 00:11 1064 x312ma8.tgz 25-May-2002 00:11 422K x312mono.tgz 25-May-2002 00:11 436K x312p9k.tgz 25-May-2002 00:11 491K