    getSourceBoxBySourceFile: function(sourceFile)    {        if (!sourceFile.text)            return this.getSourceBoxByURL(sourceFile.href);                for (var i = 0; i < this.anonSourceBoxes.length; ++i)        {            var sourceBox = this.anonSourceBoxes[i];            if (sourceBox.repObject == sourceFile)                return sourceBox;        }    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/0fdfc663d6e6e0d4a6043b4035a0f87f31c76c2d/firebug.js/buggy/extension/content/firebug/firebug.js