img1 = new Image();
img1.src = "grafik/dasunternehmen.gif";
img1a = new Image();
img1a.src = "grafik/dasunternehmen_hl.gif";

img2 = new Image();
img2.src = "grafik/produkte.gif";
img2a = new Image();
img2a.src = "grafik/produkte_hl.gif";

img3 = new Image();
img3.src = "grafik/lieferanten.gif";
img3a = new Image();
img3a.src = "grafik/lieferanten_hl.gif";

img4 = new Image();
img4.src = "grafik/ansprechpartner.gif";
img4a = new Image();
img4a.src = "grafik/ansprechpartner_hl.gif";

img5 = new Image();
img5.src = "grafik/wartung.gif";
img5a = new Image();
img5a.src = "grafik/wartung_hl.gif";

img6 = new Image();
img6.src = "grafik/home.gif";
img6a = new Image();
img6a.src = "grafik/home_hl.gif";

function changeImage(imgDocID, imgObjName)
{
document.images[imgDocID].src = eval(imgObjName + ".src");
}