function ajax(fichier)
{
	var shr_object;
    if(window.XMLHttpRequest) // FIREFOX
    	xhr_object = new XMLHttpRequest();
 	else if(window.ActiveXObject) // IE
    	xhr_object = new ActiveXObject("Microsoft.XMLHTTP");
 	else
    	return(false);
    	
 	xhr_object.open("GET", fichier, false);
 	xhr_object.setRequestHeader("Cache-Control","no-cache");
 	xhr_object.send(null);
 	if(xhr_object.readyState == 4) 
 		return(xhr_object.responseText);
 	else 
 		return(false);
}

function process(fichier, destination)
{
	var result = ajax(fichier);
	document.getElementById(destination).innerHTML = result;
}