Normal1 = new Image();
Normal1.src = "Grafiken/german.gif";
Highlight1 = new Image();
Highlight1.src = "Grafiken/german-o.gif";
Normal2 = new Image();
Normal2.src = "Grafiken/english.gif";
Highlight2 = new Image();
Highlight2.src = "Grafiken/english-o.gif";
function Bildwechsel(Bildnr,Bildobjekt) {
 window.document.images[Bildnr].src = Bildobjekt.src;
}