/* Archivo de conexiones Ajax */

// Defino las variables contenedorsa de la instancia de conexión de forma global
var instancia;
var num=0;
var elemento_destino;
/*
* Esta función instancia el objeto de conexión HttpRequest en la variable global
*/
function xmlr(){
	// Instanciamos el objeto, dependiendo del tipo de navegador de internet
	if (window.XMLHttpRequest)
		instancia = new XMLHttpRequest();
	else if (window.ActiveXObject)
		instancia = new ActiveXObject("Microsoft.XMLHTTP");
}

/*
* Defino las propiedades de la instancia HTTP y ejecuto el procesamiento
*/
function ejecutar(scriptphp,donde){
	elemento_destino=donde;
	instancia.open('GET',scriptphp,true);
	instancia.onreadystatechange = procesar;
	instancia.send();
}

/*
* Esta función se encargará de procesar los datos recibidos
*/
function procesar(){
	if (instancia.readyState == 1){
		document.getElementById(elemento_destino).innerHTML = " [calculando] ";
	}
	if (instancia.readyState == 4) {
		if (instancia.status == 200) {
			document.getElementById(elemento_destino).innerHTML = instancia.responseText;
		}
	}
}

/* Esta función lanza todo el proceso */
function lanza_ajax(scriptphp,elemento){
	xmlr();
	ejecutar(scriptphp,elemento);
}