var Buttons = 13;
var Normal = new Array(Buttons);
var Highlight = new Array(Buttons);

for(var i = 0; i < Buttons; i++) {
 Normal[i] = new Image();
 Normal[i].src = "Button" + (i+1) + ".jpg";
 Highlight[i] = new Image();
 Highlight[i].src = "Special" + (i+1) + ".jpg";
}

function Wechseln(Bildname,JSBildobjekt) {
 var Bildobjekt = eval("document."+Bildname);
 Bildobjekt.src = JSBildobjekt.src;
}