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