Normal1 = new Image();
Normal1.src = "../GRAFIK/uk_bw.gif";
Highlight1 = new Image();
Highlight1.src = "../GRAFIK/uk_c.gif";

function Bildwechsel(Bildnr,Bildobjekt) 
{ 
window.document.images[Bildnr].src = Bildobjekt.src; 
}