/************************************************************** svg ***********/        

function test()  {
  var svgtest = null;

  var embed = document.getElementById('theSVG');
  try {
    svgtest = embed.getSVGDocument();
  }
  catch(exception) {
	
	document.getElementById('svg').style.display = 'none';
  }
  svgtest = null;  // reset to null
 }
 


/**************************************************************calendario******/        
        function leapYear(year) {
        if (year % 4 == 0) // basic rule
        return true // is leap year
        /* else */ // else not needed when statement is "return"
        return false // is not leap year
        }
        
        function getDays(month, year) {
        // create array to hold number of days in each month
        var ar = new Array(12)
        ar[0] = 31 // January
        ar[1] = (leapYear(year)) ? 29 : 28 // February
        ar[2] = 31 // March
        ar[3] = 30 // April
        ar[4] = 31 // May
        ar[5] = 30 // June
        ar[6] = 31 // July
        ar[7] = 31 // August
        ar[8] = 30 // September
        ar[9] = 31 // October
        ar[10] = 30 // November
        ar[11] = 31 // December
        
        // return number of days in the specified month (parameter)
        return ar[month]
        }
        
        function getMonthName(month) {
        // create array to hold name of each month
        var ar = new Array(12)
        ar[0] = "Gennaio"
        ar[1] = "Febbraio"
        ar[2] = "Marzo"
        ar[3] = "Aprile"
        ar[4] = "Maggio"
        ar[5] = "Giugno"
        ar[6] = "Luglio"
        ar[7] = "Agosto"
        ar[8] = "Settembre"
        ar[9] = "Ottobre"
        ar[10] = "Novembre"
        ar[11] = "Diccembre"
        
        // return name of specified month (parameter)
        return ar[month]
        }
        
        function setCal() {
        // standard time attributes
        var now = new Date()
        var year = now.getYear()
        if (year < 1000)
        year+=1900
        var month = now.getMonth()
        var monthName = getMonthName(month)
        var date = now.getDate()
        now = null
        
        // create instance of first day of month, and extract the day on which it occurs
        var firstDayInstance = new Date(year, month, 1)
        var firstDay = firstDayInstance.getDay()
        firstDayInstance = null
        
        // number of days in current month
        var days = getDays(month, year)
        
        // call function to draw calendar
        drawCal(firstDay + 1, days, date, monthName, year)
        }
        
        function drawCal(firstDay, lastDate, date, monthName, year) {
        // constant table settings
        var headerHeight = 15 // height of the table's header cell
        var border = 1 // 3D height of table's border
        var cellspacing = 0 // width of table's border
        var headerColor = "midnightblue" // color of table's header
        var headerSize = "-1" // size of tables header font
        var colWidth = 15 // width of columns in table
        var dayCellHeight = 15 // height of cells containing days of the week
        var dayColor = "darkblue" // color of font representing week days
        var cellHeight = 20 // height of cells representing dates in the calendar
        var todayColor = "red" // color specifying today's date in the calendar
        var timeColor = "purple" // color of font representing current time
        
        // create basic table structure
        var text = "" // initialize accumulative variable to empty string
        text += '<CENTER>'
        text += '<TABLE CELLSPACING="0" cellpadding="1" >' // table settings
        text += '<TH style="font-size: 9; background-color: #F5F5F5; border: 1 solid #DCDCDC;" COLSPAN=7 HEIGHT="17">' // create table header cell
        text += '<FONT COLOR="' + headerColor + '" SIZE=' + headerSize + '>' // set font for table header
        text += monthName + ' ' + year 
        text += '</FONT>' // close table header's font settings
        text += '</TH>' // close header cell
        
        // variables to hold constant settings
        var openCol = '<TD style="font-size: 9; background-color: #F5F5F5; border: 1 solid #DCDCDC;" WIDTH="20" HEIGHT="19">'
        openCol += '<FONT COLOR="' + dayColor + '">'
        var closeCol = '</FONT></TD>'
        
        // create array of abbreviated day names
        var weekDay = new Array(7)
        weekDay[0] = "Dom"
        weekDay[1] = "Lun"
        weekDay[2] = "Mar"
        weekDay[3] = "Mer"
        weekDay[4] = "Gio"
        weekDay[5] = "Ven"
        weekDay[6] = "Sab"
        
        // create first row of table to set column width and specify week day
        text += '<TR ALIGN="center" VALIGN="center">'
        for (var dayNum = 0; dayNum < 7; ++dayNum) {
        text += openCol + weekDay[dayNum] + closeCol 
        }
        text += '</TR>'
        
        // declaration and initialization of two variables to help with tables
        var digit = 1
        var curCell = 1
        
        for (var row = 1; row <= Math.ceil((lastDate + firstDay - 1) / 7); ++row) {
        text += '<TR ALIGN="right" VALIGN="top">'
        for (var col = 1; col <= 7; ++col) {
        if (digit > lastDate)
        break
        if (curCell < firstDay) {
        text += '<TD style="font-size: 9; background-color: #F5F5F5; border: 1 solid #DCDCDC;" WIDTH="20" HEIGHT="17">&nbsp;</TD>';
        curCell++
        } else {
        if (digit == date) { // current cell represent today's date
        text += '<TD style="font-size: 9; background-color: #ffcc33; border: 1 solid #DCDCDC; text-align: center; vertical-align: middle;" WIDTH="20" HEIGHT="17">'
        text += digit 
        text += '<BR>'
        
        
        text += '</FONT>'
        text += '</TD>'
        } else
        text += '<TD style="font-size: 9; background-color: #F5F5F5; border: 1 solid #DCDCDC;text-align: center; vertical-align: middle;">' + digit + '</TD>'
        digit++
        }
        }
        text += '</TR>'
        }
        
        // close all basic table tags
        text += '</TABLE>'
        text += '</CENTER><br>'
        // print accumulative HTML string
        document.write(text) 
        }
          
/*******************************************************************menu**/

          				
          var head="display:''"
          img1=new Image()
          img1.src="images/icon/arrow.gif"
          img2=new Image()
          img2.src="images/icon/arrow.gif"
          var menu_vis = true;

										
          function cambia_stile(){
					due_colonne = document.getElementById('Layer2').style.visibility;
          if (due_colonne == 'visible'){
          	 document.getElementById('Layer2').style.visibility = 'hidden';
           	 document.getElementById('due_col').src ="images/icon/reply.gif";
          	 document.getElementById('due_col').alt ="Ricerca";
          	 document.getElementById('Layer1').style.width= '77%';

          		}
          else{
          	 document.getElementById('Layer2').style.visibility = 'visible';
          	 	 document.getElementById('due_col').src ="images/icon/reply_reverse.gif";
          		 document.getElementById('due_col').alt ="Allarga";
          	 document.getElementById('Layer1').style.width= '50%';

          		}
          }

					
          function cambia_menu(menu_ch){
					menu_vis = document.getElementById(menu_ch).style.display;
					
          if (menu_vis == 'block' ){
          	 document.getElementById(menu_ch).style.display = 'none';
							}
          else {
          	 document.getElementById(menu_ch).style.display = 'block';
						}
          }	
					
          function apri_menu(menu_ch){
					menu_vis = document.getElementById(menu_ch).style.display;
					
        	 document.getElementById(menu_ch).style.display = 'block';
          }
					
          function chiudi_menu(menu_ch){
					menu_vis = document.getElementById(menu_ch).style.display;
					
        	document.getElementById(menu_ch).style.display = 'none';
          }					
					

					var head="display:''"

          function change(){
             if(!document.all)
                return
             if (event.srcElement.id=="foldheader") {
                var srcIndex = event.srcElement.sourceIndex
                var nested = document.all[srcIndex+1]
                if (nested.style.display=="none") {
                   nested.style.display=''
                   event.srcElement.style.listStyleImage="url(images/icon/arrow.gif)"
                }
                else {
                   nested.style.display="none"
                   event.srcElement.style.listStyleImage="url(images/icon/arrow.gif)"
                }
             }
          }
          <!-- begin script
                  function netie(net, ie) {
                    if ((navigator.appVersion.substring(0,3) >= net && navigator.appName == 'Netscape' && net != -1) || (navigator.appVersion.substring(0,3) >= ie && navigator.appName.substring(0,9) == 'Microsoft' && ie != -1))
                      return true;
                  else return false;
                  }
          //  end script -->
          
          



/************************************************************************orologio*/

              var dayarray=new Array("Domenica","Lunedi","Martedi","Mercoledi","Giovedi","Venerdi","Sabato")
              var montharray=new Array("Gennaio","Febbraio","Marzo","Aprile","Maggio","Giugno","Luglio","Agosto","Settembre","Ottobre","Novembre","Dicembre")
              function getthedate(){
              var mydate=new Date()
              var year=mydate.getYear()
              if (year < 1000)
              year+=1900
              var day=mydate.getDay()
              var month=mydate.getMonth()
              var daym=mydate.getDate()
              if (daym<10)
              daym="0"+daym
              var hours=mydate.getHours()
              var minutes=mydate.getMinutes()
              var seconds=mydate.getSeconds()
              var dn="AM"
              if (hours>=12)
              dn="PM"
              if (hours>12){
              hours=hours-12
              }
              {
               d = new Date();
               Time24H = new Date();
               Time24H.setTime(d.getTime() + (d.getTimezoneOffset()*60000) + 3600000);
               InternetTime = Math.round((Time24H.getHours()*60+Time24H.getMinutes()) / 1.44);
               if (InternetTime < 10) InternetTime = '00'+InternetTime;
               else if (InternetTime < 100) InternetTime = '0'+InternetTime;
              }
              if (hours==0)
              hours=12
              if (minutes<=9)
              minutes="0"+minutes
              if (seconds<=9)
              seconds="0"+seconds
              //change font size here
              //var cdate=dayarray[day]+", "+montharray[month]+" "+daym+" "+year+" | "+hours+":"+minutes+":"+seconds+" "+dn+" | @"+InternetTime+""
      				var cdate="<font size='-1'>"+dayarray[day]+"</font>&nbsp;&nbsp;"+hours+":"+minutes+":"+seconds+"<font size='-2'>"+dn+"</font>"
              if (document.all)
              document.all.clock.innerHTML=cdate
              else if (document.getElementById)
              document.getElementById("clock").innerHTML=cdate
              else
              document.write(cdate)
              }
              if (!document.all&&!document.getElementById)
              getthedate()
              function goforit(){
							getthedate()
              if (document.all||document.getElementById)
              setInterval("getthedate()",1000)
              }
							
/*************************************************************************************/

function Colonna(IDtabella,voce){
					due_colonne = document.getElementById('Layer2').style.visibility;
          if (due_colonne == 'visible'){
						 ModificaColonna(IDtabella,voce,"none");         		}
          else{
						 ModificaColonna(IDtabella,voce,"");
          		}

}

function NascondiColonna(IDtabella,voce){
ModificaColonna(IDtabella,voce,"none");
}

function MostraColonna(IDtabella,voce){
ModificaColonna(IDtabella,voce,"");
}

function ModificaColonna(IDtabella,voce,display){
ths=document.getElementById(IDtabella).tHead.rows[0].cells;
for(i=0;i<ths.length;i++){
    htext=ths[i].firstChild.nodeValue;
    if(htext==voce)
        colonna=i;
    }
if(colonna>=ths.length) return;
ths[colonna].style.display=display;
trs=document.getElementById(IDtabella).tBodies[0].rows;
for(i=0;i<trs.length;i++){
    tds=trs[i].cells;
    	 tds[colonna].style.display=display;
  }
}

function Ripristina(IDtabella){
var trs=document.getElementById(IDtabella).tHead.rows;
ths=trs[0].cells;
for(i=0;i<ths.length;i++) ths[i].style.display="";
trs=document.getElementById(IDtabella).tBodies[0].rows;
for(i=0;i<trs.length;i++){
    tds=trs[i].cells;
    for(j=0;j<tds.length;+j++)
        tds[j].style.display="";
    }
} 							
/*************************************************************************************/
// replace common HTML entitys with the characters they represent
function parseEntity(oldString) {
	//alert(oldString);
	oldString = oldString.replace(/&apos;/g, "'");
	oldString = oldString.replace(/&gt;/g, ">");
	oldString = oldString.replace(/&lt;/g, "<");
	oldString = oldString.replace(/&quot;/g, '"');
	oldString = oldString.replace(/&amp;/g, "&");
	//alert(oldString);
	/*
	oldString = swapStuff(oldString,"&apos;","'");
	oldString = swapStuff(oldString,"&divide;","/");
	oldString = swapStuff(oldString,"&ge;",">=");
	oldString = swapStuff(oldString,"&gt;",">");
	oldString = swapStuff(oldString,"&le;","<=");
	oldString = swapStuff(oldString,"&lt;","<");
	oldString = swapStuff(oldString,"&ne;","<>");
	oldString = swapStuff(oldString,"&quot;",'"');
	oldString = swapStuff(oldString,"&amp;","&");
	*/
	
	return oldString;
}

function hideQuotes(oldString) {

}

// replace the five problem characters for the server's XML parser
function makeXMLsafe(oldString) {
	//alert(oldString);
	oldString = oldString.replace(/&/g, "&amp;");
	oldString = oldString.replace(/'/g, "&apos;");
	oldString = oldString.replace(/>/g, "&gt;");
	oldString = oldString.replace(/</g, "&lt;");
	oldString = oldString.replace(/"/g, "&quot;");
	/*
	oldString = swapStuff(oldString,"'","&apos;");
	oldString = swapStuff(oldString,">","&gt;");
	oldString = swapStuff(oldString,"<","&lt;");
	oldString = swapStuff(oldString,'"',"&quot;");
	*/
	//alert(oldString);
	return oldString;
}

// replace +  in string with space to allow parsing of unescaped xml response
function replacePlus(inText) {
     var re = /\+/g;
      inText = inText.replace(re," ");
     return inText;
}