function hideMenu() {
	document.getElementById("langmenu").style.visibility = "hidden";
}

function showMenu() {
	document.getElementById("langmenu").style.visibility = "visible";
}