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