unternehmen_off = new Image();
unternehmen_off .src = "/cms/images/button_unternehmen.gif";
unternehmen_on = new Image();
unternehmen_on.src = "/cms/images/button_unternehmen_on.gif";

produktspektrum_off = new Image();
produktspektrum_off .src = "/cms/images/button_produktspektrum.gif";
produktspektrum_on = new Image();
produktspektrum_on.src = "/cms/images/button_produktspektrum_on.gif";

service_off = new Image();
service_off .src = "/cms/images/button_service.gif";
service_on = new Image();
service_on.src = "/cms/images/button_service_on.gif";

fertigung_off = new Image();
fertigung_off .src = "/cms/images/button_fertigung.gif";
fertigung_on = new Image();
fertigung_on.src = "/cms/images/button_fertigung_on.gif";

aktuelles_off = new Image();
aktuelles_off .src = "/cms/images/button_aktuelles.gif";
aktuelles_on = new Image();
aktuelles_on.src = "/cms/images/button_aktuelles_on.gif";

kontakt_off = new Image();
kontakt_off .src = "/cms/images/button_kontakt.gif";
kontakt_on = new Image();
kontakt_on.src = "/cms/images/button_kontakt_on.gif";

<!-- repeat the 4 lines above for any subsequent images. -->

function swap(){
if (document.images){
for (var x=0;
x<swap.arguments.length;
x+=2) {
document[swap.arguments[x]].src = eval(swap.arguments[x+1] + ".src");
}
}
}