function view_hide()
{
	document.getElementById("menu").style.display="none";
	document.getElementById("menu2").style.display="block";
	document.getElementById("contents").style.width="740px";
}
function view_show()
{
	document.getElementById("menu").style.display="block";
	document.getElementById("menu2").style.display="none";
	document.getElementById("contents").style.width="585px";
}