// Bildwechsel 
function Bildhigh(welches){
window.document.images[welches].src = "de/img/navi/"+ welches +"_h.gif";
}
function Bildnorm(welches){
window.document.images[welches].src = "de/img/navi/"+ welches+"_n.gif";
}