var lineNo = (i+1) + ""; 
var lineNo = i + ""; 
this.getSourceLineRange = function(lines, min, max, maxLineNoChars){    var html = [];    for (var i = min; i <= max; ++i)    {        // Make sure all line numbers are the same width (with a fixed-width font)        var lineNo = (i+1) + "";        while (lineNo.length < maxLineNoChars)            lineNo = " " + lineNo;        var line = escapeHTML(lines[i]);        html.push(            '<div class="sourceRow"><a class="sourceLine">',            lineNo,            '</a><span class="sourceRowText">',            line,            '</span></div>'        );    }    return html.join("");};
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/c5f013dccda5f25ec6c3894c73898353bae36759/lib.js/buggy/extension/content/firebug/lib.js