function GetDay(intDay){

     var DayArray = new Array("Sunday", "Monday", "Tuesday", "Wednesday", 

                          "Thursday", "Friday", "Saturday")

     return DayArray[intDay]
     }

   function GetMonth(intMonth){

     var MonthArray = new Array("gennaio", "febbraio", "marzo",
                                "aprile", "maggio", "giugno",
                                "luglio", "agosto", "settembre",
                                "ottobre", "novembre", "dicembre") 
     return MonthArray[intMonth]                  
     }

   function getDateStrWithDOW(){

     var today = new Date()

     todayStr = today.getDate() + " " + GetMonth(today.getMonth()) + " "
        NS4=(document.layers) ? true : false;
        IE4=(document.all)?true:false;
        ver4 = (NS4 || IE4) ? true : false;
        if (ver4) {
                todayStr += today.getFullYear();
        }
                else
         todayStr += today.getYear();

     return todayStr
     }