<!--
nav1 = new Image(); 
nav1.src = "grafic/navigation1a.gif";
nav2 = new Image(); 
nav2.src = "grafic/navigation1b.gif";
nav3 = new Image(); 
nav3.src = "grafic/navigation2a.gif";
nav4 = new Image(); 
nav4.src = "grafic/navigation2b.gif";
nav5 = new Image(); 
nav5.src = "grafic/navigation3a.gif";
nav6 = new Image(); 
nav6.src = "grafic/navigation3b.gif";
function picchange(p1,p2)
{window.document.images[p1].src = p2.src;}
 //-->