function menuOn(menuid){
	document.getElementById(menuid).style.visibility='visible';
}
function menuOff(menuid){
	document.getElementById(menuid).style.visibility='hidden';
}