this.networkListItem.ondeselect = function(element) { WebInspector.networkPanel.hide() }; 
ondeselect: function() { if (this.panel) this.panel.hide(); } 
    this.networkListItem.ondeselect = function(element) { WebInspector.networkPanel.hide() };
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/11650fd39ffebe23630ae00304720f3195cfabd4/inspector.js/clean/WebCore/page/inspector/inspector.js