// Menu einblenden
function showMenu(menu) {
	document.getElementById("menu_" + menu).style.visibility = "visible";
}

// Menu ausblenden
function hideMenu(menu) {			
	document.getElementById("menu_" + menu).style.visibility = "hidden";
}