if (top.location != self.location) {
top.location = self.location.href
} 
function makeArray() {
for (i = 0; i<makeArray.arguments.length; i++)
this[i] = makeArray.arguments[i];
}
function getFullYear(d) {
var y = d.getYear();
if (y < 1000) {y += 1900};
return y;
}
//
var zone = "EDT";
var days = new makeArray("Domenica","Luned&iacute;","Marted&iacute;","Mercoled&iacute;","Gioved&iacute;","Venerd&iacute;","Sabato");
var months = new makeArray("Gennaio","Febbraio","Marzo","Aprile","Maggio","Giugno","Luglio","Agosto","Settembre","Ottobre","Novembre","Dicembre");
function format_time(t) {
var Day = t.getDay();
var Date = t.getDate();
var Month = t.getMonth();
var Year = t.getFullYear();
timeString = "";
timeString += days[Day];
timeString += ", ";
timeString += " ";
timeString += Date;
timeString += " ";
timeString += months[Month];
timeString += " ";
timeString += Year; 
return timeString;
}
///////////////NEVE *****************/