if (FBTrace.DBG_SOURCEFILES)																								/*@explore*/ FBTrace.dumpProperties("firebug.showSourceFile", sourceFile);  														    /*@explore*/ 
    showSourceFile: function(sourceFile, sourceBoxDecorator)    {        var sourceBox = this.getSourceBoxBySourceFile(sourceFile);        if (!sourceBox)            sourceBox = this.createSourceBox(sourceFile, sourceBoxDecorator);        this.showSourceBox(sourceBox);    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/57be5cc0d05af01592ebc9354c9dd14cffcbf7de/firebug.js/buggy/extension/content/firebug/firebug.js