
<!-- hide from old browsers
  function GetDay(intDay){
    var DayArray = new Array("Domenica", "Lunedi", "Martedì", "Mercoledì", 
                         "Giovedi", "Venerdi", "Sabato")
    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] 	  	 
    }
	var incr=0;
  function getDateTimeStrWithDOW(){
    var today = new Date()
	today.setTime(today.getTime() + (incr * 1000))
	var curHour = today.getHours()
	var curMin = today.getMinutes()
	var curTime = ""
	//if (curHour >= 12) curHour -= 12
	//if (curHour == 0) curHour = 12
		  curTime = curHour + ":"+ ((curMin < 10) ? "0" : "") + curMin
	incr++
    var year = today.getYear()
    if(year<1000) year+=1900
	
    var todayStr =  GetDay(today.getDay())  + "&nbsp; "
    todayStr += today.getDate()+ " " + GetMonth(today.getMonth())+ " " + year
    todayStr += "&nbsp; " + " &nbsp;" + " &nbsp;" + " &nbsp;"
	todayStr += "  <img src='/img_ain/orologio.gif', align='absmiddle'> " +curTime
    return todayStr
    }
	setInterval("getDateTimeStrWithDOW()",1000);


		function gotoURL(url,wid,ht,mode){
			if(mode == 0)
				window.location = url;
			else if(mode == 1)
				window.open(url);
			else		window.open(url,"dirBrowse","top=0,left=350,toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=yes,resizable=yes,copyhistory=0,Width="+wid+",Height="+ht);
		}
//-->
