panel.updateBreadcrumbSizes(); 
panel.updateBreadcrumb(); 
    domView.show = function() {        InspectorController.highlightDOMNode(panel.focusedDOMNode);        panel.updateBreadcrumbSizes();        panel.updateTreeSelection();    };
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/d2fb95f3fa9309126e311327c3c5183ffc51a8c8/DocumentPanel.js/clean/WebCore/page/inspector/DocumentPanel.js