document.write('<div class="menu">');
document.write('	<a href="index.html">Inicio</a>');
document.write('    <a href="historia.html">Historia</a>');
document.write('    <a href="estructura.html">Estructura</a>');
document.write('    <a href="planes.html">Planes de Estudio</a>');
document.write('    <a href="recursos.html">Recursos Didácticos</a>');
document.write('    <a href="contacto.html">Cont@cto</a>');
document.write('   </div>');