function getTimeString()
{
	var now = new Date();

	var day = now.getDate();
	day += "."+(now.getMonth()+1);
	day += "."+now.getFullYear();
	var hours = now.getHours();
	var mins = now.getMinutes();
	var secs = now.getSeconds();
	var time = "";
	if( hours < 10 )
		time += "0";
	time += hours+":";
	if( mins < 10 )
		time += "0";
	time += mins+":";
	if( secs < 10 )
		time += "0";
	time += secs;
	return day+"&nbsp;&nbsp;&nbsp;&nbsp;"+time;
}
function showTime()
{
	document.getElementById( "time" ).innerHTML = getTimeString();
	window.setTimeout( "showTime()", 500 );
}
function startClock()
{
	showTime();
}