function date_time()
{
	var today = new Date();
	var wday = today.getDay();
	var day = today.getDate(); 
	var year = today.getYear(); 
	var month = today.getMonth(); 
	if (day < 10) day = "0" + day; 
	var monthtext = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
	var wdaytext = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
	var hours = today.getHours();
	if(hours < 10) { hours = "0" + hours; }
	var minutes = today.getMinutes();
	if(minutes < 10) { minutes = "0" + minutes; }
	var seconds = today.getSeconds();
	if(seconds < 10) { seconds = "0" + seconds; }
	if(year < 1900) { year += 1900; }
	var datum_zeit = wdaytext[wday] + ", " + day + ". " + monthtext[month] + " " + year + " - " + hours + ":" + minutes + ":" + seconds + " (GMT+1)";
	document.getElementById("date_time").innerHTML = datum_zeit;
	window.setTimeout("date_time()",1000);	
}