function show1() {
	document.getElementById("submenu1")
			.style.visibility="visible";
	}
function shut1() {
	document.getElementById("submenu1")
			.style.visibility="hidden";
	}
function show2() {
	document.getElementById("submenu2")
			.style.visibility="visible";
	}
function shut2() {
	document.getElementById("submenu2")
			.style.visibility="hidden";
	}
function show3() {
	document.getElementById("submenu3")
			.style.visibility="visible";
	}
function shut3() {
	document.getElementById("submenu3")
			.style.visibility="hidden";
	}
function show4() {
	document.getElementById("submenu4")
			.style.visibility="visible";
	}
function shut4() {
	document.getElementById("submenu4")
			.style.visibility="hidden";
	}