function menu(){
document.write("<center>");
document.write("<div id='menumain'>");
document.write("<div id='botones2'><a href='index.html'>Principal</a> <a href='coral_zaragoza.html'>Coral Zaragoza</a> <a href='historia.html'>Historia</a> <a href='director.html'>Nuestra directora</a> <a href='coralistas.html'>Coralistas</a> <a href='ensayos.html'>Ensayos</a> <a href='repertorio2.html'>Repertorio</a></div>");
document.write("<div id='botones3'><a href='fotos.html'>Fotos</a> <a href='actividades.html'>Actividades</a> <a href='conciertos.html'>Pr&oacute;ximos conciertos</a> <a href='audio_video.html'>Audio/Video</a> <a href='prensa.html'>Prensa</a> <a href='links.html'>Links</a> <a href='formulario-envio.html'>Contacto</a></div>");
document.write("</div>");
document.write("</center>");
document.write("<br />");
}