<!--
nav01 = new Image();
nav01.src = "img/nav01h.gif";
nav02 = new Image();
nav02.src = "img/nav02h.gif";
nav03 = new Image();
nav03.src = "img/nav03h.gif";
nav04 = new Image();
nav04.src = "img/nav04h.gif";
nav05 = new Image();
nav05.src = "img/nav05h.gif";
nav06 = new Image();
nav06.src = "img/nav06h.gif";
nav07 = new Image();
nav07.src = "img/nav07h.gif";
navalt = new Image();
navalt.src = "img/nav_alth.gif";


-->