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