 panel.updateBreadcrumbSizes(event.currentTarget); 
        var mouseOverCrumbFunction = function(event) {            panel.mouseOverCrumb = true;            if ("mouseOutTimeout" in panel) {                clearTimeout(panel.mouseOutTimeout);                delete panel.mouseOutTimeout;            }            panel.updateBreadcrumbSizes(event.currentTarget);        };
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/aa21b74d92a40d1545166f101b1a87c3763ecfd3/DocumentPanel.js/clean/WebCore/page/inspector/DocumentPanel.js