var mnu_now_shown = 0;
		function mnu(i){
			if(mnu_now_shown != 0) {
				document.getElementById('submenu-' + mnu_now_shown).className = '';
			}
			document.getElementById('submenu-' + i).className="visible";
			mnu_now_shown = i;
		}