Código Javascript
:
Ver originalfunction holaMundo () {
ajax = ajaxobj();
ajax.open("GET", "holamundo.php", true);
ajax.onreadystatechange=function() {
if (ajax.readyState == 4) {
alert(ajax.responseText);
}
}
ajax.send(null);
}
</script>
Bueno en caso que estes mandando datos a tu archivo PHP "holamundo.php" debes de mandar tambien el dni ahi mismo para que age la consulta a la base de datos despues todavia enviarias el mensaje que corresponde a tu consulta si lo encontro el DNI en tu BD o no
ya que ahí solo estas enviando a tu archivo php pero no el dni