//!Initalisierung der Javascriptfunktionen für die Zeit
/* Die Spanne, in der die Zeitaktualisierung statt finden soll, wird übergeben
 * <br>param time Zeit
 */
 var UTCVersatz;
function initRealtime(time, versatz)
{
  UTCVersatz = versatz;
  var initR = window.setInterval('aktualisierenRealtime()', time);
}

//!Neu Laden der Zeit und aktualisieren im HTML
/*!
 * Die aktuelle Zeit wird geholt und entsprechend formatiert. Diese wird dann im HTML aktualisiert.
 */
function aktualisierenRealtime()
{
	var datum = new Date();
	
	var stunden = datum.getUTCHours()+UTCVersatz;
	//alert(datum.getTimezoneOffset());
	var wochentag = datum.getDay();
	if(wochentag >0 && wochentag < 6)
	{
		if(stunden < 22 && stunden > 7 )
		{
			if(stunden < 10)
				stunden = "0"+stunden;
			var minuten = datum.getMinutes();
			if(minuten < 10)
				minuten = "0"+minuten;
			var sekunden = datum.getSeconds();
			if(sekunden < 10)
				sekunden = "0"+sekunden;
			var anzeige_zeit = stunden+":"+minuten+":"+sekunden;
			
			if(document.getElementById("rt_zeit"))
		 		document.getElementById("rt_zeit").innerHTML = anzeige_zeit;
		
		 	if(datum.getHours() == 0 && datum.getMinutes() == 0)
		 	{
				var jahr = datum.getYear();
				if (jahr < 999)
		  			jahr += 1900;
				var monat = datum.getMonth() +1;
				if(monat < 10)
					monat = "0"+monat;
				var tag = datum.getDate();
				if(tag < 10)
					tag = "0"+tag;
				var anzeige_datum = jahr+"-"+monat+"-"+tag;
				
				if(document.getElementById("rt_datum"))
		 			document.getElementById("rt_datum").innerHTML = anzeige_datum;
		 	}
		}
	}
}