document.getElementById("forward").addEventListener("click", function(event) { WebInspector.forward() }, true); 
document.addEventListener("copy", function(event) { WebInspector.documentCopy(event) }, true); 
    document.getElementById("forward").addEventListener("click", function(event) { WebInspector.forward() }, true);
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/ea89623b940f76399a433e45339f7f42b10b150c/inspector.js/clean/WebCore/page/inspector/inspector.js