function CambiarContenidoDIV(id_div){
		var contenido_div =' <ul>' +
							'<li><a href="mapa_web.html">Mapa web</a> | <a href="contacto.html">Contacto</a></li>' +
							'</ul>';
		document.getElementById(id_div).innerHTML = contenido_div;
	}