document.addEventListener("keypress", function(event) { WebInspector.documentKeypress(event) }, true); 
document.addEventListener("focus", function(event) { WebInspector.changeFocus(event) }, true); 
    document.addEventListener("keypress", function(event) { WebInspector.documentKeypress(event) }, true);
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/7d2aaa248e316cf8ee6c9d6ae9c057e355c7c994/inspector.js/clean/WebCore/page/inspector/inspector.js