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