<!--

function highlight(high) {
 zellen = document.getElementsByName("menuezelle"); 
 for (a=0; a<zellen.length; a++) { 
  document.getElementsByName("menuezelle")[a].style.color="#908C8C"; 
  document.getElementsByName("menuezelle")[high].style.color="#5A5757"; 
 }
}

//-->