WebInspector.animateStyle(animations, 250, function() { resultsContainer.removeChildren(); delete this.searchResultsTree; }); 
doc.defaultView.addEventListener("focus", function(event) { WebInspector.windowFocused(event) }, true); 
            WebInspector.animateStyle(animations, 250, function() { resultsContainer.removeChildren(); delete this.searchResultsTree; });
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/c6bedafa09e40a36fe2e4deca4611ac9766b8d14/inspector.js/buggy/WebCore/page/inspector/inspector.js