function GetDay(intDay){
     var DayArray = new Array("Domenica", "Lunedì", "Martedì", "Mercoledì", "Giovedì", 
                           "Venerdì", "Sabato")
     return DayArray[intDay]
     }

   function GetMonth(intMonth){
     var MonthArray = new Array("Gen", "Feb", "Mar",
                                "Apr", "Mag", "Giu",
                                "Lug", "Ago", "Set",
                                "Ott", "Nov", "Dic") 
     return MonthArray[intMonth]                  
     }
   function getDateStrWithDOW(){
     var today = new Date()
     
     todayStr = GetDay(today.getDay()) + " " + 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
     }