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