/* author: andrea passanante*/
/* Funzioni per la gestione delle date con JavaScript*/


/* Restituisce una data in formato : Lunedì 24/03/2004 ------------------------------------------ */

function MakeArray(n) {
	this.length = n
	return this
}
monthNames = new MakeArray(12)
monthNames[1] = "Gennaio"
monthNames[2] = "Febbraio"
monthNames[3] = "Marzo"
monthNames[4] = "Aprile"
monthNames[5] = "Maggio"
monthNames[6] = "Giugno"
monthNames[7] = "Luglio"
monthNames[8] = "Agosto"
monthNames[9] = "Settembre"
monthNames[10] = "Ottobre"
monthNames[11] = "Novembre"
monthNames[12] = "Dicembre"
dayNames = new MakeArray(7)
dayNames[1] = "Domenica"
dayNames[2] = "Lunedì"
dayNames[3] = "Martedì"
dayNames[4] = "Mercoledì"
dayNames[5] = "Giovedì"
dayNames[6] = "Venerdì"
dayNames[7] = "Sabato"

function customDateString(oneDate) {
	var theDay = dayNames[oneDate.getDay() + 1]
	var theMonth = monthNames[oneDate.getMonth() + 1]
	var theYear = oneDate.getYear()
	theYear += (theYear < 100) ? 1900 : 0
	return "Oggi è " + theDay + " - " + oneDate.getDate() + " " + theMonth + " " + theYear
}

function datacalend() {
today = new Date()
var data_full = (customDateString(today)).fontsize(3)
// document.write(data_full) -- scrive direttamente la data appena caricato il file nel browser

return data_full
}


// converte la data dell'ultima modifica del file da tipo USA mm/dd/yyyy  in tipo Italia gg/mm/aaaa

function dataultimagg() {
var data_usa = document.lastModified.toString();
var data_ita = (data_usa.substring(3,5) + "/" + data_usa.substring(0,2) + "/" + data_usa.substring(6,10))
return data_ita
}