function menu() {
document.write('<a class=menu href=guernica.html><b>Guernica</b></a><br><br>')

document.write('- <a class=menu href=panorama.html>Panorama Histórico</a><br>')
document.write('- <a class=menu href=segunda_negra.html>A segunda-feira negra </a><br>')
document.write('- <a class=menu href=repercussao.html>A repercussão </a><br>')
document.write('- <a class=menu href=obra_arte.html>A obra de arte </a><br>')
document.write('- <a class=menu href=pormenores.html>Os pormenores da obra</a><br>')
document.write('- <a class=menu href=conclusao.html>Conclusão </a><br>')
document.write('- <a class=menu href=bibliografia.html>Bibliografia </a><br>')
}