// JavaScript Document

function getHTTPObject() 
{
	var xmlhttp;
	//------------------------------------------------------------------
	// Ca c'est pour les différentes version de IE
	//------------------------------------------------------------------
	/*@cc_on
	@if (@_jscript_version >= 5)
    try 
	{
      	xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
    } 
	catch (e) 
	{
      try 
	  {
      	xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
      } 
	  catch (E) 
	  {
      	xmlhttp = false;
      }
    }
  	@else
  	xmlhttp = false;
  	@end @*/
	//------------------------------------------------------------------
	// Ca c'est pour Firefox
	//------------------------------------------------------------------
  	if (!xmlhttp && typeof XMLHttpRequest != 'undefined') 
	{
		try 
		{
			xmlhttp = new XMLHttpRequest();
		} 
		catch (e) 
		{
			// Si on arrive ici c'est que le navigateur n'est pas compatible
			xmlhttp = false;
		}
  	}
  	return xmlhttp;
}

function LoadDiv( divName, url )
{
	// Initialisation
	var http = getHTTPObject();						// L'objet qui fait la requête
	var dest = document.getElementById(divName);  	// Le div à mettre à jour

	if(dest != null )
	{
		// On fait la requete
		http.open("GET", url, true);
		http.onreadystatechange = function()
								  {
									if ( http.readyState == 4 ) 
									{
										dest.innerHTML = http.responseText;
									}
								  };
		http.send(null);
	}
}