function objetoAjax(){
  var xmlhttp=false;
  try {
    xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
  } catch (e) { 
    try {
      xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
    } catch (E) {
      xmlhttp = false;
    }
  }
     
  if (!xmlhttp && typeof XMLHttpRequest!='undefined') {
    xmlhttp = new XMLHttpRequest();
  }  
  return xmlhttp;
} 

function numero_agencias() {
  url = "/php/get_agencias.php";

  ajax = objetoAjax();
  ajax.open("GET", url);
  ajax.onreadystatechange = function() {
    if (ajax.readyState==4) {
      if (ajax.status == 200) {
				document.getElementById("numero_agencias").innerHTML = ajax.responseText;
      } else {
        alert("Se ha producido un error al procesar el alta.\nIntentelo de nuevo mas tarde.\n");
        return false;
      } 
    } 
  } 
  ajax.send(null);
}