function date_to_string(date)	{
	var M = new Array(
		"Gennaio", "Febbraio", "Marzo", "Aprile", "Maggio", "Giugno",
		"Luglio", "Agosto", "Settembre", "Ottobre", "Novembre", "Dicembre"
	);
	var W = new Array(
		"domenica", "lunedì", "martedì", "mercoledì",
		"giovedì", "venerdì", "sabato"
	);

	var d = date.getDate();
	var m = M[date.getMonth()];
	var y = date.getFullYear();
	var h = (date.getHours()   < 10) ? "0" + date.getHours()   : date.getHours()  ;
	var n = (date.getMinutes() < 10) ? "0" + date.getMinutes() : date.getMinutes();
	var w = W[date.getDay()];

	return "Pagina aggiornata alle ore <span class=\"roman_red\">" + h + ":" + n + " di " + w + " " + d + " " + m + " " + y + "</span>";
}

function showLastModified() {
	var stringToReturn = "";
	if(0 != (dateLastModified = Date.parse(window.document.lastModified))) {
		stringToReturn = date_to_string(new Date(dateLastModified));
	}
	window.document.getElementById('credits2a').innerHTML = stringToReturn;
//	var txt = window.document.createTextNode(stringToReturn);
//	window.document.getElementById('credits2a').appendChild(txt); 
}