    if (document.getElementById && (navigator.appName.indexOf("Microsoft") != -1))
    {
      document.write('<link rel="stylesheet" href="/css/ma.css">');
    }

    if ((navigator.appName == "Netscape") && (parseInt(navigator.appVersion) == 4))
    {
      var os = navigator.platform.substr(0,3);
      if (os == "Win" || os == "IRI" || os == "Sun" || os == "X11") var link2 = "netw";
      else var link2 = "nets";
    }
    else var link2 = "main";

    document.write('<link rel="stylesheet" href="/css/' + link2 + '.css">');

	browserName = navigator.appName;
	version = navigator.appVersion;
	browserVer = parseInt(version);
	lang ="";
	if ((browserName == "Netscape" && browserVer >= 3) || (browserName.substring(0,9) == "Microsoft" && browserVer >= 4)){
		lang = "js";
	} else {
		if (browserName == "Netscape") lang = "j";
		if ((version.indexOf('3.01') > 0) || (version.indexOf('3.02') > 0)) lang = "j";
	}
	
	function cambiaBGover(cella,ancora){
		if (document.all) {
	        document.all.item(cella).bgColor = "#C4DBF3";
			document.all.item(ancora).style.color = "#305D96";
		} else {
			if (document.getElementById) {
		        document.getElementById(cella).bgColor = "#C4DBF3";
				document.getElementById(ancora).style.color = "#305D96";
			}
		}
	}
	
	function cambiaBGout(cella,ancora){
		if (document.all) {
	        document.all.item(cella).bgColor = "#679CDE";
			document.all.item(ancora).style.color = "#FFFFFF";
		} else {
			if (document.getElementById) {
		        document.getElementById(cella).bgColor = "#679CDE";
				document.getElementById(ancora).style.color = "#FFFFFF";
			}
		}
	}

	function WriteDateTime() {

	var now = new Date();
	var day = now.getDate();
	var mymonth = (now.getMonth() + 1);
	var month = "";
	var year = now.getYear();
	if (year<1900) year+=1900;
	var hour = now.getHours() + "";	
  	if (hour<=9) hour = "0" + hour;
  	var minute = now.getMinutes() + "";
  	if (minute<=9) minute = "0" + minute;

	if(mymonth == 1)
	month="Gennaio";
	else if(mymonth == 2)
	month =	"Febbraio"
	else if(mymonth	== 3)
	month =	"Marzo"
	else if(mymonth	== 4)
	month =	"Aprile"
	else if(mymonth	== 5)
	month =	"Maggio"
	else if(mymonth	== 6)
	month =	"Giugno"
	else if(mymonth	== 7)
	month =	"Luglio"
	else if(mymonth	== 8)
	month =	"Agosto"
	else if(mymonth	== 9)
	month =	"Settembre"
	else if(mymonth	== 10)
	month =	"Ottobre"
	else if(mymonth	== 11)
	month =	"Novembre"
	else if(mymonth	== 12)
	month =	"Dicembre"

	document.write(day + "&nbsp;" + month + "&nbsp;" + year + "&nbsp;" + hour + ":" + minute);

	}