// Função responsável de conectar a uma página externa e retornar os resultados, no nosso caso a busca_nome.php
function ajax(url) {
  req = null;
  // Procura por um objeto nativo (Mozilla/Safari)
  if (window.XMLHttpRequest) {
    req = new XMLHttpRequest();
    req.onreadystatechange = processReqChange;
    req.open("GET",url,true);
	req.setRequestHeader("If-Modified-Since", "Sat, 1 Jan 2000 00:00:00 GMT"); 
    req.setRequestHeader("Cache-Control", "no-cache");
    req.send(null);
  } else if (window.ActiveXObject) { // Procura por uma versão ActiveX (IE)
    req = new ActiveXObject("Microsoft.XMLHTTP");
    if (req) {
      req.onreadystatechange = processReqChange;
      req.open("GET",url,true);
	  req.setRequestHeader("If-Modified-Since", "Sat, 1 Jan 2000 00:00:00 GMT"); 
	  req.setRequestHeader("Cache-Control", "no-cache");
      req.send();
    }
  }
}

function processReqChange() {
  // apenas quando o estado for "completado"
  if (req.readyState == 4) {
    // apenas se o servidor retornar "OK"
    if (req.status ==200) {
      // procura pela div id="pagina" e insere o conteudo
      // retornado nela, como texto HTML	  
      eval(req.responseText);
    } else {
      alert("Houve um problema ao obter os dados:n" + req.statusText);
    }
  }
}