// JavaScript Document
var names = ['ampel_rot', 'ampel_gelb', 'ampel_gruen', 'ampel_aus'];
var loaded = new Array();
for(i = 0; i<names.length;i++){
	loaded[i] = new Image();
loaded[i].src = "../images/" + names[i] + ".gif";
}

function ampelfarbe(nr){
	for ( i = 0; i<document.images.length;i++){
			document.images[parseInt(i)].src=loaded[parseInt(3)].src;
	}
	document.images[parseInt(nr)].src=loaded[parseInt(nr)].src;

}