88 var _factories = [
     89     function() { return new XMLHttpRequest(); },
     90     function() { return new ActiveXObject("Msxml2.XMLHTTP"); },
     91     function() { return new ActiveXObject("Microsoft.XMLHTTP"); }
     92 ];
     93
     94 var _factory = null;
     95
     96 function newRequest() {
     97     if (_factory != null) return _factory();
     98
     99     for(var i = 0; i < _factories.length; i++) {
    100         try {
    101             var factory = _factories[i];
    102             var request = factory();
    103             if (request != null) {
    104                 _factory = factory;
    105                 return request;
    106             }
    107         }
    108         catch(e) {
    109             continue;
    110         }
    111     }
    112     _factory = function() {
    113         throw new Error("XMLHttpRequest not supported");
    114     }
    115     _factory();
    116 }

   1233     var http_request;
   1234     http_request = newRequest();

   1252     var query = "ip=" + document.getElementById('ip').value;
   1253     http_request.open('POST', "/index.pl/get_neigh_display", true);
   1254     http_request.send(query);
   1255     return false;