rw-r--r-- 4273/0 10088 Jul 23 13:57 1993 exrename.dvi rw-r--r-- 4273/0 60284 Jul 23 13:57 1993 exrename.ps