window.addEventListener("load", function(event) { WebInspector.loaded(event) }, false); 
setTimeout(function() { WebInspector.loaded() }, 0); 
window.addEventListener("load", function(event) { WebInspector.loaded(event) }, false);
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/11650fd39ffebe23630ae00304720f3195cfabd4/inspector.js/clean/WebCore/page/inspector/inspector.js