var request;

function loadxml(url) {
    /* branch for native XMLHttpRequest object */
    if (window.XMLHttpRequest) {
        request = new XMLHttpRequest();
        request.overrideMimeType('text/xml');
        request.onreadystatechange = processxml;
        request.open("GET", url, true);
        request.send(null);
    /*  branch for IE/Windows ActiveX version */
    } else if (window.ActiveXObject) {
        request = new ActiveXObject("Microsoft.XMLHTTP");
        if (request) {
            request.onreadystatechange = processxml;
            request.open("GET", url, true);
            request.send();
        }
    }
}