// Bilder vorausladen
	var grafik0 = new Image; grafik0.src = "images/rot0.gif"
	var grafik1 = new Image; grafik1.src = "images/rot1.gif"
	var grafik2 = new Image; grafik2.src = "images/rot2.gif"
	var grafik3 = new Image; grafik3.src = "images/rot3.gif"
	var grafik4 = new Image; grafik4.src = "images/rot4.gif"
	var grafik5 = new Image; grafik5.src = "images/rot5.gif"
	var grafik6 = new Image; grafik6.src = "images/rot6.gif"
	var grafik7 = new Image; grafik7.src = "images/rot7.gif"
	var grafik8 = new Image; grafik8.src = "images/rot8.gif"
	var grafik9 = new Image; grafik9.src = "images/rot9.gif"
	var grafik10 = new Image; grafik10.src = "images/rotpunkt.gif"
	
	function Datum() {
		var datum = new Date();
		var Jahr = datum.getYear();
		var Monat = datum.getMonth()+1;
		var Tag = datum.getDate();
		var hh = datum.getHours();
		var mm = datum.getMinutes();
		var ss = datum.getSeconds();
		
		document.spacer.src = "images/space.gif";		
		document.tag10.src = Bild(Tag/10);
		document.tag1.src = Bild(Tag%10);
		document.punkt1.src = "images/rotp.gif";
		document.monat10.src = Bild(Monat/10);
		document.monat1.src = Bild(Monat%10);
		document.punkt2.src = "images/rotp.gif";
		document.j1000.src = "images/rot2.gif";
		document.j100.src = "images/rot0.gif";
		document.j10.src = Bild(0);
		document.j1.src = Bild(Jahr%10);

		// Aufruf der Funktion Datum() nach einer Pause von 1 Sekunde
		window.setTimeout("Datum()",60000);
	}
	
	function Bild(nummer)		{			// konvertiert die Zahl
	nummer = Math.floor(nummer);			// z.B. 3 in Bild "rot3.gif" ... s.Script
	return "images/rot" + nummer + ".gif";
	}