function ChangeClass(menu, newClass) { 
  if (document.getElementById) { 
    document.getElementById(menu).className = newClass;
  } 
}