// JavaScript Document
<!--
var NN3 = false;
image1= new Image();
image1.src = "Bilder/home.gif";
image1on = new Image();
image1on.src = "Bilder/home_blau.gif";
image2= new Image();
image2.src = "Bilder/mail.gif";
image2on = new Image();
image2on.src = "Bilder/mail_blau.gif";
image3 = new Image();
image3.src = "Bilder/print.gif";
image3on = new Image();
image3on.src = "Bilder/print_blau.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);
}
//-->