var http_request = false;
   function makeRequest(url, parameters) {
      http_request = false;
      if (window.XMLHttpRequest) { // Mozilla, Safari,...
         http_request = new XMLHttpRequest();
         if (http_request.overrideMimeType) {
         // set type accordingly to anticipated content type
         //http_request.overrideMimeType('text/xml');
            http_request.overrideMimeType('text/html');
         }
      } else if (window.ActiveXObject) { // IE
         try {
            http_request = new ActiveXObject("Msxml2.XMLHTTP");
         } catch (e) {
            try {
               http_request = new ActiveXObject("Microsoft.XMLHTTP");
            } catch (e) {}
         }
      }
      if (!http_request) {
         alert('Cannot create XMLHTTP instance');
         return false;
      }
     //处理url,加上当前时间
      var datetimenow="";
      datetimenow = new Date();
      timeset = datetimenow.getTime();
      parameters=parameters+"&t="+timeset
      http_request.onreadystatechange = alertContents;
      http_request.open('GET', url + parameters, true);
      http_request.send(null);
   }

   function alertContents() {
      if (http_request.readyState == 4) {
         if (http_request.status == 200) {
            result = http_request.responseText;
            if(result.indexOf("error")==-1){
            try{
            document.getElementById('dig_top').innerHTML = result;
            document.getElementById('dig_bottom').innerHTML = result;
            } catch (e) {}
            }
         } else {
            //alert('There was a problem with the request.');
         }
      }
   }


   function dig(threadID) {
      var getstr = "?thread="+threadID;
      makeRequest('/dig.jsp', getstr);
   }