function show_buchen() {
	document.getElementById("buchen").style.visibility = "visible";
	document.getElementById("specials").style.visibility = "hidden";
	document.getElementById("info").style.visibility = "hidden";
}
function hide_buchen() {
	document.getElementById("buchen").style.visibility = "hidden";
}

function show_specials() {
	document.getElementById("buchen").style.visibility = "hidden";
	document.getElementById("specials").style.visibility = "visible";
	document.getElementById("info").style.visibility = "hidden";
}
function hide_specials() {
	document.getElementById("specials").style.visibility = "hidden";
}

function show_info() {
	document.getElementById("buchen").style.visibility = "hidden";
	document.getElementById("specials").style.visibility = "hidden";
	document.getElementById("info").style.visibility = "visible";
}
function hide_info() {
	document.getElementById("info").style.visibility = "hidden";
}