var NN3 = false;
img = new Array
image1 = new Image();
image1.src = "../grafiken/menue/button01a.gif";
image1on = new Image();
image1on.src = "../grafiken/menue/button01b.gif";
image2 = new Image();
image2.src = "../grafiken/menue/button02a.gif";
image2on = new Image();
image2on.src = "../grafiken/menue/button02b.gif";
image3 = new Image();
image3.src = "../grafiken/menue/button03a.gif";
image3on = new Image();
image3on.src = "../grafiken/menue/button03b.gif";
image4 = new Image();
image4.src = "../grafiken/menue/button04a.gif";
image4on = new Image();
image4on.src = "../grafiken/menue/button04b.gif";
image5 = new Image();
image5.src = "../grafiken/menue/button05a.gif";
image5on = new Image();
image5on.src = "../grafiken/menue/button05b.gif";
image6 = new Image();
image6.src = "../grafiken/menue/button06a.gif";
image6on = new Image();
image6on.src = "../grafiken/menue/button06b.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);
}