// JavaScript Document
document.write('<a href="index.html" class="enlacenav">Portada</a>||');
//document.write('<a href="#inicio">Inicio de Página</a>|');
//document.write('<a href="agenda.html" class="enlacenav">Agenda y enlaces</a>|');
document.write('<a href="privacidad.html" class="enlacenav">Política de Privacidad</a>');