<!-- 

image1 = new Image();
image1.src = "images/nav_home_on.gif";

image2 = new Image();
image2.src = "images/nav_leistungen_on.gif";

image3 = new Image();
image3.src = "images/nav_profil_on.gif";

image4 = new Image();
image4.src = "images/nav_labor_on.gif";

image5 = new Image();
image5.src = "images/nav_kontakt_on.gif";

-->