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