// ajax 1.0
// --------------------

// imposta variabile di controllo avvenuto caricamento
var ajax = 1;

// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
// ajax (inizio Codice)
// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
// funzione per assegnare l'oggetto XMLHttpRequest
// compatibile con i browsers più recenti e diffusi
function GetXmlHttpObject() {
	// lista delle variabili locali
	var objXMLHttp = null; // variabile di ritorno, nulla di default
	 // informazioni sul nome del browser
	 browserUtente = navigator.userAgent.toUpperCase();
	
	 // browser standard con supporto nativo (non importa il tipo di browser)
	 if(typeof(XMLHttpRequest) === "function" || typeof(XMLHttpRequest) === "object")
		 objXMLHttp = new XMLHttpRequest();
	 // browser Internet Explorer
	 // è necessario filtrare la versione 4
	else if(
		window.ActiveXObject &&
		browserUtente.indexOf("MSIE 4") < 0
	)
	{
		// la versione 6 di IE ha un nome differente
		// per il tipo di oggetto ActiveX
		if(browserUtente.indexOf("MSIE 5") < 0)
			objXMLHttp = new ActiveXObject("Msxml2.XMLHTTP");
		// le versioni 5 e 5.5 invece sfruttano lo stesso nome
		else
			objXMLHttp = new ActiveXObject("Microsoft.XMLHTTP");
	}
	return objXMLHttp;
} 

// utilizzo le seguenti righe di codice per avere la possibilità di istanziare oggetti ajax sempre nuovi...
var xmlHttp_arr = new Array();
xmlHttp_arr[0] = null;
	
function new_xmlHttp_index()
{
	// cicla sull'array degli oggetti xmlHttp fino a che non trova un posto dell'array non occupato dove istanziare un nuovo oggetto xmlHttp
	var exit_cond = false;
	var i=0;
	while (!exit_cond && i<=xmlHttp_arr.length)
	{
		if (xmlHttp_arr[i]==undefined || xmlHttp_arr[i]==null)
		{
			// c'è un posto vuoto dove istanziare l'oggetto...
			xmlHttp_arr[i] = GetXmlHttpObject();
			exit_cond = true;
		}
		else
		{
			// questa posizione dell'array è occupata. Tenta con la successiva...
			i++;
		}
	};
	return i; // restituisce l'indice dell'array dove è istanziato un nuovo oggetto xmlHttp;
}

// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
// ajax(fine Codice)
// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\