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