Pfote = new Image();
Pfote.src = "navigation/pfote.gif";
PfoteHighlight = new Image();
PfoteHighlight.src = "navigation/pfote2.gif";

Glocke = new Image();
Glocke.src = "navigation/glocke.gif";
GlockeHighlight = new Image();
GlockeHighlight.src = "navigation/glocke2.gif";

Sitemap = new Image();
Sitemap.src = "navigation/sitemap.gif";
SitemapHighlight = new Image();
SitemapHighlight.src = "navigation/sitemap2.gif";

Zurueck = new Image();
Zurueck.src = "navigation/zurueck.gif";
ZurueckHighlight = new Image();
ZurueckHighlight.src = "navigation/zurueck2.gif";

function exchangeImg(picnr, picobj) {
 window.document.images[picnr].src = picobj.src;
}