(BIN) koshy7.dvi
 (HTM) koshy7.html
 (DOC) koshy7.pdf
 (TXT) koshy7.ps
 (TXT) koshy7.tex