produkte0 = new Image(); produkte0.src = "/static/images/button_produkte_0.gif";
produkte0h = new Image(); produkte0h.src = "/static/images/button_produkte_0h.gif";
produkte1 = new Image(); produkte1.src = "/static/images/button_produkte_1.gif";
produkte1h = new Image(); produkte1h.src = "/static/images/button_produkte_1h.gif";

kontakt0 = new Image(); kontakt0.src = "/static/images/button_kontakt_0.gif";
kontakt0h = new Image(); kontakt0h.src = "/static/images/button_kontakt_0h.gif";
kontakt1 = new Image(); kontakt1.src = "/static/images/button_kontakt_1.gif";
kontakt1h = new Image(); kontakt1h.src = "/static/images/button_kontakt_1h.gif";

unternehmen0 = new Image(); unternehmen0.src = "/static/images/button_unternehmen_0.gif";
unternehmen0h = new Image(); unternehmen0h.src = "/static/images/button_unternehmen_0h.gif";
unternehmen1 = new Image(); unternehmen1.src = "/static/images/button_unternehmen_1.gif";
unternehmen1h = new Image(); unternehmen1h.src = "/static/images/button_unternehmen_1h.gif";

news0 = new Image(); news0.src = "/static/images/button_news_0.gif";
news0h = new Image(); news0h.src = "/static/images/button_news_0h.gif";
news1 = new Image(); news1.src = "/static/images/button_news_1.gif";
news1h = new Image(); news1h.src = "/static/images/button_news_1h.gif";

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