<!--
//--------- Test Browser  ---------------------------------------------------;
	bName = navigator.appName;
	bVer = parseInt(navigator.appVersion);
	if ((bName == "Netscape" && bVer >= 3) ||
	(bName == "Microsoft Internet Explorer" && bVer >= 4)) br = "n3";
	else br = "n2";

//---------------------------------------------------------------------------------;
function makeArray() {
var args = makeArray.arguments;
for (var i = 0; i < args.length; i++) {
	this[i] = args[i];
	}
this.length = args.length;
}

//------------ Date String Maker for Local Time --------------;
function MakeArray2(n) {
	this.length = n
	return this
}
monthNames = new MakeArray2(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 MakeArray2(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()	
	if (theYear < 100) theYear = theYear+2000 
	return theDay + " " +oneDate.getDate() +" " + theMonth + " "  + theYear
}
//-->