rwxr-xr-x 4273/0 0 Jul 22 21:03 1993 web/ rw-r--r-- 4273/0 122932 Jul 22 21:03 1993 web/clos-browser rw-r--r-- 4273/0 79948 Jul 22 21:03 1993 web/web-editor