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