<!--
navi1a = new Image(); 
navi1a.src = "grafic/navitop1.gif";
navi1b = new Image(); 
navi1b.src = "grafic/navitop1b.gif";

navi2a = new Image();
navi2a.src = "grafic/navitop2.gif";
navi2b = new Image();
navi2b.src = "grafic/navitop2b.gif";

navi3a = new Image();
navi3a.src = "grafic/navitop3.gif";
navi3b = new Image();
navi3b.src = "grafic/navitop3b.gif";

function picchange(p1,p2)
{window.document.images[p1].src = p2.src;}
 //-->