function topmenu_on(i){
	document.getElementById("mn_"+i).className = "mn_"+i+" mn_hover";
}

function topmenu_off(i){
	document.getElementById("mn_"+i).className = "mn_"+i;
}

function menu_on(i){
	document.getElementById("submenu_"+i).style.display = "block";
}

function menu_off(i){
	document.getElementById("submenu_"+i).style.display = "none";
}