var mydate=new Date()
var year=mydate.getYear()
if (year < 1000)
year+=1900
var day=mydate.getDay()
var month=mydate.getMonth()
var daym=mydate.getDate()
if (daym<10)
daym="0"+daym
var dayarray=new Array("Domenica","Lunedì","Martedì","Mercoledì","Giovedì","Venerdì","Sabato")
var montharray=new Array("Gennaio","Febbraio","Marzo","Aprile","Maggio","Giugno","Luglio","Agosto","Settembre","Ottobre","Novembre","Dicembre")
function stampa()
	{
		if (!document.all&&!document.getElementById)
			return
		thelement=document.getElementById? document.getElementById("data"): document.all.data
		thelement.innerHTML="<span class='ora'>"+dayarray[day]+" "+daym+" "+montharray[month]+" "+year+"</span>"
	}