for (line in this.lineMap) str += "["+line+"]="+this.lineMap[line]; 
for (line in this.lineMap) str += "["+line+"]="+this.lineMap[line]; 
    dumpLineMap: function()    {        var str = "SourceFile " + this.href+"; lineMap: ";        for (line in this.lineMap) str += "["+line+"]="+this.lineMap[line];             return str;    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/lib.js/clean/extension/content/firebug/lib.js