this.networkListItem.onselect = function(element) { WebInspector.StatusTreeElement.selected(element); WebInspector.navigateToPanel(WebInspector.networkPanel); }; 
onselect: function() { var selectedElement = WebInspector.fileOutline.selectedTreeElement; if (selectedElement) selectedElement.deselect(); if (this.panel) WebInspector.navigateToPanel(this.panel); }, 
    this.networkListItem.onselect = function(element) { WebInspector.StatusTreeElement.selected(element); WebInspector.navigateToPanel(WebInspector.networkPanel); };
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/11650fd39ffebe23630ae00304720f3195cfabd4/inspector.js/clean/WebCore/page/inspector/inspector.js