normal1 = new Image(); normal1.src = "images/ampel170_2r.gif";
auswahl1 = new Image(); auswahl1.src = "images/ampel170_2g.gif";
normal2 = new Image(); normal2.src = "images/ampel170_3r.gif";
auswahl2 = new Image(); auswahl2.src = "images/ampel170_3g.gif";
normal3 = new Image(); normal3.src = "images/ampel170_4r.gif";
auswahl3 = new Image(); auswahl3.src = "images/ampel170_4g.gif";


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