//Fade-Funktionen für die Navigationsicons

<!--
function fadein(target){
document.getElementById(target).src = "img/icon/"+ target +".gif";
}

function fadeout(target){
document.getElementById(target).src = "img/icon/"+ target + "_.gif";
}
-->