
//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
function xmlhttp()	//~~ XMLHTTP ~~
//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
{	/*var x;
	try   		{	x = new ActiveXObject('Microsoft.XMLHTTP');	}
	catch (e) 	{	try   		{	x = new ActiveXObject('Msxml2.XMLHTTP');	}
						catch (e) 	{	try			{	x = new XMLHttpRequest();	}
											catch (e)	{	x = false;	}
										}
					}
	return x;*/
	
	var request = false;
	try {
		request = new ActiveXObject('Msxml2.XMLHTTP');
	}
	catch (err2) {
		try {
			request = new ActiveXObject('Microsoft.XMLHTTP');
		}
		catch (err3) {
	try {
		request = new XMLHttpRequest();
	}
	catch (err1) 
	{
		request = false;
	}
		}
	}
    return request;
}

//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
function appel(app, page, id)	//~~ Appel ~~
//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
{	var xml = xmlhttp();
	if ( !xml ){
		alert('XmlHttpRequest non supporté');
	}else{
		xml.onreadystatechange = function(){
			if(xml.readyState == 4){
				if (xml.status == 200){
					document.getElementById(id).value = xml.responseText;
					var head = document.getElementsByTagName("head")[0];
					var scr;
					if ( app=='htm' ){
						/////////////////////////////////
						//// ici on récupère du html ////
						/////////////////////////////////
						var d=document.getElementById(id);
						d.innerHTML = xml.responseText;
						var scrajx = d.getElementsByTagName('script');
						for( var i in scrajx ){
							scr = document.createElement("script");
							scr.type = "text/javascript";
							scr.text = scrajx[i].text;
							head.appendChild(scr);			
						}
					}else{
						///////////////////////////////
						//// ici du javascript pur ////
						///////////////////////////////
						scr = document.createElement("script");
						scr.type = "text/javascript";
						scr.text = xml.responseText;
						head.appendChild(scr);
					}

				}else{
					alert('Xmlhttprequest - problèmes de connexion!');
				}
			}
		}
		try {
			netscape.security.PrivilegeManager.
			enablePrivilege('UniversalXPConnect UniversalBrowserAccess');	
			}
		catch(e)	{	}
		xml.open('GET', page, true);
		xml.setRequestHeader('Content-type','application/x-www-form-urlencoded');
		try {
			xml.send('');
			}
		catch(e)	{	}
	}
}

