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