function ajaxRequest() {
    var activexmodes = ["Msxml2.XMLHTTP", "Microsoft.XMLHTTP"] //activeX versions to check for in IE
    if (window.ActiveXObject) { //Test for support for ActiveXObject in IE first (as XMLHttpRequest in IE7 is broken)
        for (var i = 0; i < activexmodes.length; i++) {
            try {
                return new ActiveXObject(activexmodes[i])
            }
            catch (e) {
                //suppress error
            }
        }
    }
    else if (window.XMLHttpRequest) // if Mozilla, Safari etc
        return new XMLHttpRequest()
    else
        return false
}
function update(i, file) {
    var mygetrequest = new ajaxRequest()
    if (mygetrequest.overrideMimeType)
        mygetrequest.overrideMimeType('text/xml')
    mygetrequest.onreadystatechange = function() {
        if (mygetrequest.readyState == 4) {
            if (mygetrequest.status == 200 || window.location.href.indexOf("http") == -1) {
                var xmldata = mygetrequest.responseXML; //retrieve result as an XML object
                var entries = xmldata.getElementsByTagName("item");
                var output = "";
                output += '<p id="description">' + entries[i].getElementsByTagName('description')[0].firstChild.nodeValue + '</p>';
                document.getElementById("Message").innerHTML = output;
            }
            else {
                alert("An error has occured making the request")
            }
        }
    }

    mygetrequest.open("GET", file, true)
    mygetrequest.send(null)
}
function reset() {
    document.getElementById("Message").innerHTML = "<p id='description'>&nbsp;</p>";
}