function hotel(){
	document.getElementById("hotel").style.display = "";
	document.getElementById("cruises").style.display = "none";
	document.getElementById("attractions").style.display = "none";
}

function cruises(){
	document.getElementById("hotel").style.display = "none";
	document.getElementById("cruises").style.display = "";
	document.getElementById("attractions").style.display = "none";
}

function attractions(){
	document.getElementById("hotel").style.display = "none";
	document.getElementById("cruises").style.display = "none";
	document.getElementById("attractions").style.display = "";
}