<!--

data = new Date();
giorno = data.getDate();
mese = data.getMonth();
anno = data.getFullYear();
ora = data.getHours();
minuti = data.getMinutes();

if (ora<10) {
	ora = "0"+ora;
}

if (minuti<10) {
	minuti = "0"+minuti;
}

if (mese == 0) {
	mese = "Gen";
} else if (mese == 1) {
	mese = "Feb";
} else if (mese == 2) {
	mese = "Mar";
} else if (mese == 3) {
	mese = "Apr";
} else if (mese == 4) {
	mese = "May";
} else if (mese == 5) {
	mese = "Jun";
} else if (mese == 6) {
	mese = "Jul";
} else if (mese == 7) {
	mese = "Aug";
} else if (mese == 8) {
	mese = "Sep";
} else if (mese == 9) {
	mese = "Oct";
} else if (mese == 10) {
	mese = "Nov";
} else if (mese == 11) {
	mese = "Dec";
}


//-->