// JavaScript Document
function datetime(){
		  var datetime = new Date()
		  var hr = datetime.getHours()
			var min = datetime.getMinutes()
		  var mon = datetime.getMonth()
		  var monNames = new Array("gennaio", "febbraio", "marzo", "aprile", "maggio", "giugno", "luglio", "agosto", "settembre", "ottobre", "novembre", "dicembre");
		  var day = datetime.getDate()
		  var year = datetime.getFullYear()
		  if(hr < 10){
			hr = " " + hr
			}
		  if(min < 10){
			min = "0" + min
			}
		  if (hr > 12)
			{
			hr = hr;
			}
		document.datetime.digits.value = day +  " " + monNames[mon] + " " + year + ", " + hr + "." + min
		  setTimeout("datetime()", 1000)
		  }