<!--
function localtimestart() {
	localtimeupdate();
	window.setInterval("localtimeupdate()", 500);
}
function localtimeupdate() {
	var now = new Date();
      var Tag = now.getDate();
      var Monat = now.getMonth() + 1;
      var Jahr = now.getFullYear();
	ltstunde = now.getHours();
	ltminute = now.getMinutes();
	ltsekunde = now.getSeconds();
	localtimestring = "" + Tag + "." + Monat + "." + Jahr + ", ";
	localtimestring += (ltstunde < 10) ? "0" + ltstunde + ":" : ltstunde + ":";
	localtimestring += (ltminute < 10) ? "0" + ltminute + ":" : ltminute + ":";
	localtimestring += (ltsekunde < 10) ? "0" + ltsekunde : ltsekunde + "";
	localtimestring += "";
	element = document.getElementById("localtime");
	element.innerHTML = localtimestring;
}
//-->