../ diskx15 24-May-2002 16:11 760 x312vga.tgz 24-May-2002 16:11 447K x312w32.tgz 24-May-2002 16:11 420K