var seiten = new Array("home","aktuell","flugplatz","ops","ppr","kontakt","info");
var bilder_over = new Array();
var bilder_out = new Array();
var bilder_press = new Array();
for (var i=0; i<7; i++){
    bilder_over[i] = new Image();
    bilder_over[i].src = "images/" + seiten[i] + "3.gif";
    bilder_out[i] = new Image();
    bilder_out[i].src = "images/" + seiten[i] + ".gif";
/*    bilder_press[i] = new Image(); */
/*    bilder_press[i].src = "images/" + seiten[i] + "1.gif"; */
    }
function wx(knopf,bild){
document[knopf].src = "images/" + bild + ".gif";
}
function wxover(knopf){
document[knopf].src = "images/" + knopf + "3.gif";
}
function wxout(knopf){
document[knopf].src = "images/" + knopf + ".gif";
}
function wxdown(knopf){
/* document[knopf].src = "images/" + knopf + "1.gif"; */
return true;
}