function mapa(continente){
	var imagen01 = "/wp-content/themes/hotelesoriginales/img/mapamundi/asia.jpg";
	var imagen02 = "/wp-content/themes/hotelesoriginales/img/mapamundi/america.jpg";
	var imagen03 = "/wp-content/themes/hotelesoriginales/img/mapamundi/europa.jpg";
	var imagen04 = "/wp-content/themes/hotelesoriginales/img/mapamundi/oceania.jpg";
	var imagen05 = "/wp-content/themes/hotelesoriginales/img/mapamundi/africa.jpg";
	document.getElementById("img-mapamundi").src = "/wp-content/themes/hotelesoriginales/img/mapamundi/" + continente + ".jpg";
}