function disp(txt) {
	document.write(txt);
}
function don_date_jour(){
	var date_jour = new Date();
	date_jour=don_date_format(date_jour);
	return date_jour;
}
function don_date_format(d1) {
	var m=new Array(13);
	m[1]="Gennaio"; m[2]="Febbraio";	m[3]="Marzo"; m[4]="Aprile"; m[5]="Maggio"; m[6]="Giugno";
 	m[7]="Luglio";	m[8]="Agosto"; m[9]="Settembre"; m[10]="Ottobre";	m[11]="Novembre"; m[12]="Dicembre";
	var d = new Array(8);
	d[1]="Domenica"; d[2]="Luned&igrave"; d[3]="Marted&igrave"; d[4]="Mercoled&igrave"; d[5]="Gioved&igrave"; d[6]="Venerd&igrave"; d[7]="Sabato";
	var mois=m[d1.getMonth()+1];
	var jour=d[d1.getDay()+1];
	var date=d1.getDate();
	var an=d1.getYear();
	end = "";
        
        date+=end;
	if (an<200) an=1900+an;
	date = jour+",  "+date+" "+mois+" "+an;
	return date;
}