function Is() {

//	alert(parseFloat(navigator.appVersion));

	var agent = navigator.userAgent.toLowerCase();
	this.major = parseInt(navigator.appVersion);
	this.minor = parseFloat(navigator.appVersion);
	this.ns  = ((agent.indexOf('mozilla')!=-1) && ((agent.indexOf('spoofer')==-1) && (agent.indexOf('compatible') == -1)));
	this.ns2 = (this.ns && (this.major == 2));
	this.ns3 = (this.ns && (this.major == 3));
	this.ns4 = (this.ns && (this.major == 4));
	this.ns5 = (this.ns && (this.major >= 5));

	this.ie   = (agent.indexOf("msie") != -1);
	this.ie3  = (this.ie && (this.major == 2));
	this.ie4  = (this.ie && (this.major == 4));
	this.ie5  = (this.ie && (this.major == 5));
	this.ie6  = (this.ie && (this.major >= 6));
	
	this.op3 = (agent.indexOf("opera") != -1);

}

var is = new Is()

if(is.ns5) {
	doc = "document";
	sty = "";
	htm = ".document"
} else if(is.ie4) {
	doc = "document.all";
	sty = ".style";
	htm = ""
}


//This is the master JavaScript file for the HTML Help documentation.

/* These functions (doSection, noSection) are used to make sidebars appear and disappear.
*/





function doSection (secNum){
	//display the section if it's not displayed; hide it if it is displayed
	if (secNum.style.display=="none"){secNum.style.display=""}
	else{secNum.style.display="none"}
}

function noSection (secNum){
	//remove the section when user clicks in the opened DIV
	if (secNum.style.display==""){secNum.style.display="none"}
}

//modificata per andare sotto Netscape7
function doExpand(paraNum,arrowNum){
	paragrafo = document.getElementById(paraNum).style;
	immagine = document.getElementById(arrowNum);
	if (paragrafo.display=="none"){
		paragrafo.display="";immagine.src="images/arr_up.gif";
	}else{
		paragrafo.display="none";immagine.src="images/arr_down.gif";
	}
}

//modificata per andare sotto Netscape7
function doExpandTOC(paraNum,arrowNum){
	paragrafo = document.getElementById(paraNum).style;
	immagine = document.getElementById(arrowNum);
//	testata = document.getElementById(testata).style;
	if (paragrafo.display=="none"){
		paragrafo.display="";
		immagine.src="images/arr2_down.gif";
//		testata.backgroundColor="#FFFFFF";
//		testata.textColor="#ff0000";
	}else{
		paragrafo.display="none";
		immagine.src="images/arr2_dx.gif";
//		testata.backgroundColor="#577ECB";
//		testata.textColor="#ff0000";
	}
}



//These functions control the behavior of the homepage go arrows.
function liteGo(spNo){
	spNo.style.background="#cc0033";
	spNo.style.color="#FFFFFF";
}

function liteOff(spNo){
	spNo.style.background="transparent";
	spNo.style.color="#000000";
}

//Insert new functions here. Please use unique identifiers and comment liberally.
function showSection(secNum){
	//display the section if it's not displayed; hide it if it is displayed
	if (secNum.style.display=="none"){secNum.style.display=""}
}

function hideSection(secNum){
	//display the section if it's not displayed; hide it if it is displayed
	if (secNum.style.display==""){secNum.style.display="none"}
}

function pippo(par1){
	alert('pippo');
	//alert(par1)
}

// funzioni per i bottoni GO (fireworks)

function MM_findObj(n, d) { //v4.01
  var p,i,x;  if(!d) d=document; if((p=n.indexOf("?"))>0&&parent.frames.length) {
    d=parent.frames[n.substring(p+1)].document; n=n.substring(0,p);}
  if(!(x=d[n])&&d.all) x=d.all[n]; for (i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n];
  for(i=0;!x&&d.layers&&i<d.layers.length;i++) x=MM_findObj(n,d.layers[i].document);
  if(!x && d.getElementById) x=d.getElementById(n); return x;
}

function MM_swapImage() { //v3.0
  var i,j=0,x,a=MM_swapImage.arguments; document.MM_sr=new Array; for(i=0;i<(a.length-2);i+=3)
   if ((x=MM_findObj(a[i]))!=null){document.MM_sr[j++]=x; if(!x.oSrc) x.oSrc=x.src; x.src=a[i+2];}
}

function MM_swapImgRestore() { //v3.0
  var i,x,a=document.MM_sr; for(i=0;a&&i<a.length&&(x=a[i])&&x.oSrc;i++) x.src=x.oSrc;
}

function MM_preloadImages() { //v3.0
 var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
   var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
   if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}