var req = null;

function request(url)
{
    if(window.XMLHttpRequest)
        req = new XMLHttpRequest();
    else if(window.ActiveXObject)
        req = new ActiveXObject("Microsoft.XMLHTTP");
    
    req.onreadystatechange = processRequest;
    req.open("GET",url,true);
    req.setRequestHeader("If-Modified-Since", "Sat, 1 Jan 2000 00:00:00 GMT");
    req.send(null);
}

function processRequest()
{
    var ele = "gpsErrors";
    if(req.readyState == 4)
    {
        if(req.status == 200)
        {
            html = document.getElementById(ele);
            html.value = req.responseText;
        }
    }
}