return (window.ActiveXObject) ? new ActiveXObject('Microsoft.XMLHTTP') : new XMLHttpRequest(); }, 
return (window.ActiveXObject) ? new ActiveXObject('Microsoft.XMLHTTP') : new XMLHttpRequest(); }, 
      getXHR: function(){        return (window.ActiveXObject) ? new ActiveXObject('Microsoft.XMLHTTP') : new XMLHttpRequest();      },
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/bb7ba4f85620c5ad07e48227c0a1b87153a9c92a/docs.js/clean/Docs/assets/docs.js