function domainFilter(url){    if (Firebug.showExternalErrors)        return true;                    var browserWin = document.getElementById("content").contentWindow;    var m = urlRe.exec(browserWin.location.href);    if (!m)        return false;            var browserDomain = m[3];    m = urlRe.exec(url);    if (!m)        return false;    var errorScheme = m[1];    var errorDomain = m[3];        return errorScheme == "javascript"        || errorScheme == "chrome"        || errorDomain == browserDomain;}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/errors.js/buggy/extension/content/firebug/errors.js