function f(x){ return (x>9)?x:'0'+x; }
var fr=0;
function wT(){ return new Date(); }
var tTt="f(wT().getHours())+'.'+f(wT().getMinutes())+':'+f(wT().getSeconds())";
function dT(){
tT=eval(tTt);
if(fr==0){ fr=1; document.write('<span id=ts>'+tT+'</span>'); }
ts.innerText=tT;
setTimeout('dT()',1000);
}

var months=new Array(13);	// set up an array for string literal months
months[1]="Gennaio";		// array starts at [1] rather than [0] for
months[2]="Febbraio";		// familiar month numbering convention, could
months[3]="Marzo";		// just as easily be [0..11] but that is less clear
months[4]="Aprile";
months[5]="Maggio";
months[6]="Giugno";
months[7]="Luglio";
months[8]="Agosto";
months[9]="Settembre";
months[10]="Ottobre";
months[11]="Novembre";
months[12]="Dicembre";

var today=new Date();				// store date in today

var lmonth=months[today.getMonth() + 1];	// pull out month name
var date=today.getDate();			// pull out numerical date
var year=today.getFullYear();			// pull out numerical year
var daynum = today.getDay() + 1;		// pull out day number

if(daynum==1) day = "Domenica";			// match day name to day number
if(daynum==2) day = "Lunedì";
if(daynum==3) day = "Martedì";
if(daynum==4) day = "Mercoledì";
if(daynum==5) day = "Giovedì";
if(daynum==6) day = "Venerdì";
if(daynum==7) day = "Sabato";

// make entire date into one variable, allows easy adjustment of format

// us format: var todaysdate= (day + ", " + date + " " + lmonth + " " + year);
var todaysdate= (day + ", " + date + " " + lmonth + " " + year + "&nbsp;&nbsp;");

// write date to screen