function show1() {
	document.getElementById("submenu1")
			.style.visibility="visible";
	}
function shut1() {
	document.getElementById("submenu1")
			.style.visibility="hidden";
	}