function menu(x){
if(x=='menu7'){document.getElementById(x).className="right2";}
else{
document.getElementById(x).className="no";}
}
function clearMenu(x){
if(x=='menu7'){document.getElementById(x).className="right";}
else{
document.getElementById(x).className="";

}
}
<!--
function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}
//-->