function cargaXMLclasificacion(url) {
    //  Primero vamos a ver si la URL es una URL :)
    if(url==''){
        return;
    }
    //  Usuario inteligente...
    if (window.XMLHttpRequest) {
        req = new XMLHttpRequest();
        req.onreadystatechange = processReqChangeclasificacion;
        req.open("GET", url, true);
        req.send(null);
    //  ...y usuario de Internet Explorer Windows
    } else if (window.ActiveXObject) {
        isIE = true;
        req = new ActiveXObject("Microsoft.XMLHTTP");
        if (req) {
            req.onreadystatechange = processReqChangeclasificacion;
			req.setRequestHeader("Content-Type","charset=iso-8859-1");
            req.open("GET", url, true);
            req.send();
        }
    }
}

function processReqChangeclasificacion(){
    //    Referencia a nuestro DIV con ID unica:
    var detalles = document.getElementById("detalles_clasificacion");
    //    Si se ha completado la carga de datos, los mostramos en el DIV...
    if(req.readyState == 4){
        detalles.innerHTML = req.responseText;
    } else {
        //    ...en caso contrario, le diremos al usuario que los estamos cargando:
        detalles.innerHTML = 'Cargando...';
    }
}

function cargaXMLresultados(url) {
    //  Primero vamos a ver si la URL es una URL :)
    if(url==''){
        return;
    }
    //  Usuario inteligente...
    if (window.XMLHttpRequest) {
        req = new XMLHttpRequest();
        req.onreadystatechange = processReqChangeresultados;
        req.open("GET", url, true);
        req.send(null);
    //  ...y usuario de Internet Explorer Windows
    } else if (window.ActiveXObject) {
        isIE = true;
        req = new ActiveXObject("Microsoft.XMLHTTP");
        if (req) {
            req.onreadystatechange = processReqChangeresultados;
			req.setRequestHeader("Content-Type","charset=iso-8859-1");
            req.open("GET", url, true);
            req.send();
        }
    }
}

function processReqChangeresultados(){
    //    Referencia a nuestro DIV con ID unica:
    var detalles = document.getElementById("detalles_resultados");
    //    Si se ha completado la carga de datos, los mostramos en el DIV...
    if(req.readyState == 4){
        detalles.innerHTML = req.responseText;
    } else {
        //    ...en caso contrario, le diremos al usuario que los estamos cargando:
        detalles.innerHTML = 'Cargando...';
    }
}