// Navigation
var NN3 = false;
image1= new Image();
image1.src = "images/navipunkt-startseite.gif";
image1on = new Image();
image1on.src = "images/navipunkt-startseite_f2.gif";
image2= new Image();
image2.src = "images/navipunkt-ausseng.gif";
image2on = new Image();
image2on.src = "images/navipunkt-ausseng_f2.gif";
image3= new Image();
image3.src = "images/navipunkt-seminar.gif";
image3on = new Image();
image3on.src = "images/navipunkt-seminar_f2.gif";
image4= new Image();
image4.src = "images/navipunkt-betten.gif";
image4on = new Image();
image4on.src = "images/navipunkt-betten_f2.gif";
image5= new Image();
image5.src = "images/navipunkt-anreise.gif";
image5on = new Image();
image5on.src = "images/navipunkt-anreise_f2.gif";
image6= new Image();
image6.src = "images/navipunkt-preise.gif";
image6on = new Image();
image6on.src = "images/navipunkt-preise_f2.gif";
image7= new Image();
image7.src = "images/navipunkt-freietermine.gif";
image7on = new Image();
image7on.src = "images/navipunkt-freietermine_f2.gif";
image8= new Image();
image8.src = "images/navipunkt-profondo.gif";
image8on = new Image();
image8on.src = "images/navipunkt-profondo_f2.gif";
image9= new Image();
image9.src = "images/navipunkt-gallerie.gif";
image9on = new Image();
image9on.src = "images/navipunkt-gallerie_f2.gif";

function on3(name)   {
        document[name].src = eval(name + "on.src");
}
function off3(name)  {
        document[name].src = eval(name + ".src");
}
NN3 = true;

function on(name)  {
        if (NN3) on3(name);
}
function off(name)  {
        if (NN3) off3(name);
}