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