var Firefox = (navigator.userAgent.indexOf("Firefox") != -1) ? true : false;

   
   function initArray() {  
   
      this.length = initArray.arguments.length
      for (var i = 0; i < this.length; i++)
      this[i+1] = initArray.arguments[i]
   }
   if(Firefox){
   var DOWArray = new initArray("Domenica","Luned&igrave;","Marted&igrave;","Mercoled&igrave;",
                                "Gioved&igrave;","Venerd&igrave;","Sabato");
   var MOYArray = new initArray("Gennaio","Febbraio","Marzo","Aprile",
                                "Maggio","Giugno","Luglio","Agosto","Settembre",
                                "Ottobre","Novembre","Dicembre");
   var LastModDate = new Date(document.lastModified);
   document.write("Ultima Modifica: ");
   document.write(DOWArray[(LastModDate.getDay()+1)],", ");
   document.write(LastModDate.getDate()," ");
   document.write(MOYArray[(LastModDate.getMonth()+1)]);
   document.write(".");
   }