// JavaScript Document
function file(url)
  {
	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", url, false); 
     xhr_object.send(null);
     if(xhr_object.readyState == 4 && xhr_object.status == 200) return(xhr_object.responseText);
     else return(false);
   }

function request_ajax(url, id_div)
  {
	texte=file(url);
	document.getElementById(id_div).innerHTML=texte;
	}