// script
 
function changeButton(isActive, id) {
  if (isActive == true) {
    document.getElementById("mainmenuitemLeft"+id).className = "mainlevelmainmenuLeftHover";
    document.getElementById("mainmenuitemMiddle"+id).className = "mainlevelmainmenuMiddleHover";
    document.getElementById("mainmenuitemRight"+id).className = "mainlevelmainmenuRightHover";
  }
  else {
    document.getElementById("mainmenuitemLeft"+id).className = "mainlevelmainmenuLeft";
    document.getElementById("mainmenuitemMiddle"+id).className = "mainlevelmainmenuMiddle";
    document.getElementById("mainmenuitemRight"+id).className = "mainlevelmainmenuRight";       
  }
}