var xmlHttp

function showSelectedOs(osURL) {
        xmlHttp = GetXmlHttpObject()
        if (xmlHttp == null) {
                alert ("Browser does not support HTTP Request")
                return
        }

        var url = "includes/http_stats.php"
        url = url + "?osURL=" + encodeURIComponent(osURL)
        url = url + "&sid=" + Math.random()
        xmlHttp.open("GET", url, true)
        xmlHttp.send(null)
}

function GetXmlHttpObject() {
        var objXMLHttp=null
        if (window.XMLHttpRequest) {
                objXMLHttp=new XMLHttpRequest()
        } else if (window.ActiveXObject) {
                objXMLHttp=new ActiveXObject("Microsoft.XMLHTTP")
        }
return objXMLHttp
}