// JavaScript Document
function NaviHide() {
	var divObj = document.getElementById("navi");
	divObj.style.visibility = "hidden";
}
function NaviShow() {
	var divObj = document.getElementById("navi");
	divObj.style.visibility = "visible";
}