panel.mouseOutTimeout = setTimeout(timeoutFunction, 250); 
panel.mouseOutTimeout = setTimeout(timeoutFunction, 500); 
        var mouseOutCrumbFunction = function(event) {            delete panel.mouseOverCrumb;            if ("mouseOutTimeout" in panel) {                clearTimeout(panel.mouseOutTimeout);                delete panel.mouseOutTimeout;            }            var timeoutFunction = function() {                if (!panel.mouseOverCrumb)                    panel.updateBreadcrumbSizes();            };            panel.mouseOutTimeout = setTimeout(timeoutFunction, 250);        };
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/aa21b74d92a40d1545166f101b1a87c3763ecfd3/DocumentPanel.js/clean/WebCore/page/inspector/DocumentPanel.js