function rot(farbe){
if(document.all || document.getElementById){farbe.style.color='#4F4DFD';}
}

function gelb(farbe){
if(document.all || document.getElementById){farbe.style.color='#767676';}
}