var ajax

var http_request

function newAJAX() {

    http_request = false

    if (window.XMLHttpRequest) { // Mozilla, Safari,...
        http_request = new XMLHttpRequest()
        if (http_request.overrideMimeType) {
            http_request.overrideMimeType('text/xml')
        }
    }
    else if (window.ActiveXObject) { // IE
        try {
            http_request = new ActiveXObject("Msxml2.XMLHTTP")
        }
        catch (e) { }
        try {
            http_request = new ActiveXObject("Microsoft.XMLHTTP")
        }
        catch (e) { }
    }
    return http_request
}




function Pagina(pagina) {
    divContenido = document.getElementById('tabcontent');

    ajax = newAJAX();
    //uso del medoto GET
    //indicamos el archivo que realizar el proceso de paginar
    //junto con un valor que representa el nro de pagina
    ajax.open("GET", pagina);
    divContenido.innerHTML = '<div style="float:left; width:740px; text-align:center; font-size:10px;"><img src="imagenes/loading.gif" align="bottom" />Cargando...</div>';
    ajax.onreadystatechange = function() {
        if (ajax.readyState == 4) {
            if (ajax.status == 200) {
                //mostrar resultados en esta capa
                divContenido.innerHTML = ajax.responseText 
            }
        }
    }
    //como hacemos uso del metodo GET
    //colocamos null
    ajax.send(null)
}