function file(fichier)

{

if(window.XMLHttpRequest) // FIREFOX

xhr_object = new XMLHttpRequest();

else if(window.ActiveXObject) // IE

xhr_object = new ActiveXObject("Microsoft.XMLHTTP");

else

return('false2');

xhr_object.open("POST", fichier, false);

xhr_object.send(null);

if(xhr_object.readyState == 4) return(xhr_object.responseText);

else return('false3');

}





function writediv(div,fichier){

document.getElementById(div).innerHTML = file(fichier);

}