<!--
navi1 = new Image(); 
navi1.src = "grafic/navi_1a.gif";
navi2 = new Image(); 
navi2.src = "grafic/navi_1b.gif";
navi3 = new Image(); 
navi3.src = "grafic/navi_2a.gif";
navi4 = new Image(); 
navi4.src = "grafic/navi_2b.gif";
navi5 = new Image(); 
navi5.src = "grafic/navi_3a.gif";
navi6 = new Image(); 
navi6.src = "grafic/navi_3b.gif";
navi7 = new Image(); 
navi7.src = "grafic/navi_4a.gif";
navi8 = new Image(); 
navi8.src = "grafic/navi_4b.gif";
navi9 = new Image(); 
navi9.src = "grafic/formular1.gif";
navi10 = new Image(); 
navi10.src = "grafic/formular2.gif";
function picchange(p1,p2)
{window.document.images[p1].src = p2.src;}
 //-->