function anim_init() {
		bilder = new Array();
		for (var i = 0; i <= 11; i++)
		{
			bilder[i] = new Image(); bilder[i].src = "images/ani/ani" + i + ".jpg"; 
		}
	}

	function animation(a_delay) { 		// Verzoegerung in Millisekunden
		if (navigator.appName=='Netscape') {
			if (parseInt(navigator.appVersion) == 5) {
			document.images[3].src = bilder[leuchte].src;
			}
			else {
			document.images[0].src = bilder[leuchte].src;
			}
		}
		else {
		document.images[3].src = bilder[leuchte].src;
		}
		leuchte++;
		if (leuchte>11) {leuchte=0};
 		setTimeout("animation("+String(a_delay)+")", a_delay);
	}