total 976
-rw-rw-r--   1 server     88776 Jun 10 16:08 screnggu.dvi
-rw-rw-r--   1 server      7174 Jun 10 16:08 screnggu.ind
-rw-rw-r--   1 server    337725 Jun 10 16:08 screnggu.ps
-rw-rw-r--   1 server     49936 Jun 10 16:07 screnggu.tex
