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