var xmlHttp;

        function init_ajax () {
                if (window.ActiveXObject)
                        xmlHttp= new ActiveXObject("Microsoft.XMLHTTP");
                else if (window.XMLHttpRequest)
                        xmlHttp=new XMLHttpRequest();
        }

        function probServer() {
                init_ajax();
                var firstname = document.getElementById("searchdef");
                xmlHttp.onreadystatechange=callback;
                xmlHttp.open("GET", "http://archive.poly.edu/search/ajaxsearch.php?searchtype=" + escape(firstname.value), true);
                xmlHttp.send(null);
        }

        function callback() {
                if(xmlHttp.readyState==4)
                        if(xmlHttp.status==200)
                                document.getElementById('results').innerHTML=xmlHttp.responseText;
                document.status="done";
        }