function getTime()
	{
		dateTime=new Date();
		
		hour=dateTime.getHours();
		min=dateTime.getMinutes();
		if( min<10) 
			min="0"+min;
		sec=dateTime.getSeconds();

		if( sec<10)
			sec="0"+sec;

		mon = new Array("01","02","03","04","05","06","07","08","09","10","11","12");
		mon=mon[dateTime.getMonth()];
		day=dateTime.getDate();
		
		if( day<10)
			day="0"+day;

		year=dateTime.getYear();

		dateTime=""+day+"."+mon+"."+year;
		document.all.timer.innerText=dateTime;
		document.getElementById("timer").firstChild.nodeValue=dateTime;
		setTimeout("getTime()", 1000);
	}