rw-r--r-- 4273/0 173920 Jul 23 13:57 1993 express.dvi rw-r--r-- 4273/0 422725 Jul 23 13:57 1993 express.ps