function changeMap(newmap) {
	document.mapa.src = 'imagenes/mapas/' + newmap + ".jpg";
	document.mapa.useMap = '#'+newmap;
	new Ajax.Updater('contenedor_mapa', 'ajax_gateway/tiempo.php', {
		  parameters: { mapa: newmap },
		  evalScripts: true
	});

}

function changeLocation(tipo, id, nombre) {
	formulariohotel.locationName.value = nombre;
	formulariohotel.location_id.value = id;
	formulariohotel.tipoGeografico.value = tipo;
}