<!--
/* ändert den hintergrund des menü links */
function changeColor(td,pic) {
 document.getElementById(td).style.backgroundColor="#eeeeee";
 
 document.getElementById(pic).src='images/pfeilhell_.gif';
 
}

function dechangeColor(td,pic) {
 document.getElementById(td).style.backgroundColor="#CED0D2";
 document.getElementById(pic).src='images/pfeilhell_.gif';
 
}

//-->