<!--

var fahne;
    fahne = new Array();


function laden(marker, fahne0, fahne1) {
    fahne[marker] = new Array(2);
    fahne[marker][0] = new Image();
    fahne[marker][0].src = fahne0;
    fahne[marker][1] = new Image();
    fahne[marker][1].src = fahne1;
}

laden("menue", "../../sys/info-de.gif", "../../sys/menue-de.gif");

function on(){
     document.images["menue"].src = "../../sys/menue-de.gif";
}


function off(){
     document.images["menue"].src = "../../sys/info-de.gif";
}
// -->