function hide_menu()
	{
		document.all.board1.style.display="none";
		document.all.board2.style.display="none";
		document.all.board3.style.display="none";
		document.all.board4.style.display="none";
		document.all.board5.style.display="none";
		document.all.board6.style.display="none";
		document.all.board7.style.display="none";
	}
	function re(para)
	{
		hide_menu();
		eval("document.all.board"+para+".style.display=''");
	}