<!--

data = new Date();
giorno = data.getDate();
mese = data.getMonth();
anno = data.getFullYear();

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 = "Mag";
} else if (mese == 5) {
	mese = "Giu";
} else if (mese == 6) {
	mese = "Lug";
} else if (mese == 7) {
	mese = "Ago";
} else if (mese == 8) {
	mese = "Set";
} else if (mese == 9) {
	mese = "Ott";
} else if (mese == 10) {
	mese = "Nov";
} else if (mese == 11) {
	mese = "Dic";
}

//-->

<!--

function swap_cella(cella, color) {
	cella.background = color;
}

//-->