} 
} 
this.getOverflowParent = function(element){    for (var scrollParent = element.parentNode; scrollParent; scrollParent = scrollParent.offsetParent)    {        if (scrollParent.scrollHeight > scrollParent.offsetHeight)            return scrollParent;    }    };
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/lib.js/clean/extension/content/firebug/lib.js