function writediv(texte, div)
     {
     document.getElementById(div).innerHTML = texte;
     }
function ouvrir(page, heure)
	{
	var texte = file(page+"?date="+heure);
	writediv(texte, "contenu");
	}
function file(fichier)
     {
     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.send(null);
     if(xhr_object.readyState == 4) return(xhr_object.responseText);
     else return(false);
     }