WebInspector.dividerDragEnd(document.getElementById("searchResults"), WebInspector.searchResultsResizerDrag, WebInspector.searchResultsResizerDragEnd, event); 
WebInspector.elementDragEnd(document.getElementById("searchResults"), WebInspector.searchResultsResizerDrag, WebInspector.searchResultsResizerDragEnd, event); 
WebInspector.searchResultsResizerDragEnd = function(event){    WebInspector.dividerDragEnd(document.getElementById("searchResults"), WebInspector.searchResultsResizerDrag, WebInspector.searchResultsResizerDragEnd, event);}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/92232b6dba3a32b10ef68860c6eb54e48238744c/inspector.js/clean/WebCore/page/inspector/inspector.js