
<!--
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ė","Martedė","Mercoledė","Giovedė","Venerdė","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 = getFullYear(t);
    

    timeString = "";
    timeString += "";
    timeString += days[Day];
    timeString += " ";
    timeString += Date;
    timeString += " ";
    timeString += months[Month];
    timeString += " ";
    timeString += Year;
  
   return timeString;
  
}

function time(r) {
   
    var Hours = r.getHours();
    var Minutes = r.getMinutes();
    var Seconds = r.getSeconds();
    var clockString 
       
    	if (Minutes < 10) {Minutes = "0"+Minutes;}
	if (Seconds < 10) {Seconds = "0"+Seconds;}

    clockString = "ore: ";
    clockString += Hours;
    clockString += ".";
    clockString += Minutes;
 //   clockString += ".";
 //   clockString += Seconds;
  
   return clockString;
  
}
// -->