window.onload = updateTime;

function updateTime() {
	var Digital = new Date();
	var hours = Digital.getHours();
	var minutes = Digital.getMinutes();
	var seconds = Digital.getSeconds();
	var day = Digital.getDay();
	var month = Digital.getMonth();
	var year = Digital.getYear();
	
	var DaysOfWeek = new Array(7);
		DaysOfWeek[0] = "Dom";
		DaysOfWeek[1] = "Lun";
		DaysOfWeek[2] = "Mar";
		DaysOfWeek[3] = "Mer";
		DaysOfWeek[4] = "Gio";
		DaysOfWeek[5] = "Ven";
		DaysOfWeek[6] = "Sab";
	
	var dayTxt = DaysOfWeek[day] + " " + day + "." + month + "." + year;

	if (minutes<10) minutes = '0' + minutes;
	//if (seconds %2 == 1) {
	var mytime = hours+':'+minutes;
	//} else {
	//	var mytime = hours+' '+minutes;
	//}
	
	if (document.all) {
		document.all["timer"].innerHTML = mytime;
	} else {
		document.getElementById("timer").innerHTML = mytime;
	}
	
	setTimeout("updateTime()",500);
}