function on(img,bild) { document.images[img].src = bild; }
function off(img,bild) { document.images[img].src = bild; }

var bildliste = new Array (
"nav1_norm.gif",
"nav1_over.gif",
"nav2_norm.gif",
"nav2_over.gif",
"nav3_norm.gif",
"nav3_over.gif",
"nav4_norm.gif",
"nav4_over.gif",
"nav5_norm.gif",
"nav5_over.gif",
"nav6_norm.gif",
"nav6_over.gif"
);

var bilder = new Array();
var a;
if (document.images)
for (a=0; a<bildliste.length; a++)
{bilder[a]=new Image();
bilder[a].src=bildliste[a];}