<!--
var NN3 = false;
image1= new Image();
image1.src = "/graphics/nav-00home.gif";
image1on = new Image();
image1on.src = "/graphics/nav-00home-on.gif";
image2= new Image();
image2.src = "/graphics/nav-01register.gif";
image2on = new Image();
image2on.src = "/graphics/nav-01register-on.gif";
image3= new Image();
image3.src = "/graphics/nav-02demo.gif";
image3on = new Image();
image3on.src = "/graphics/nav-02demo-on.gif";
image4= new Image();
image4.src = "/graphics/nav-03info.gif";
image4on = new Image();
image4on.src = "/graphics/nav-03info-on.gif";
image5= new Image();
image5.src = "/graphics/nav-04analysis.gif";
image5on = new Image();
image5on.src = "/graphics/nav-04analysis-on.gif";
image6= new Image();
image6.src = "/graphics/nav-05pedo.gif";
image6on = new Image();
image6on.src = "/graphics/nav-05pedo-on.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);
}
//-->