function mapa() {
	window.document.getElementById('map').style.display = 'block';
}

function mapa_off() {
	window.document.getElementById('map').style.display = 'none';
}