(DIR) abs
 (BIN) dek12.dvi
 (HTM) dek12.html
 (DOC) dek12.pdf
 (TXT) dek12.ps
 (TXT) dek12.tex