document.write('<ul>');
document.write('<li><a href="index.html">Inicio</a></li>');
document.write('<li><hr /></li>');
document.write('<li><a href="companyprofile.html">Perfil de la compañía</a></li>');
document.write('<li><a href="equipment.html">Lista de equipos</a></li>');
document.write('<li><a href="QA.html">Depto. Calidad</a></li>');
document.write('<li><hr /></li>');
document.write('<li><a href="directions.html">Direcciones</a></li>');
document.write('<li><a href="contact.html">Contáctenos</a></li>');
document.write('</ul>');