'<div class="sourceRow"><a class="sourceLine">', 
'<div class="sourceRow"><a class="sourceLine">', 
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/8237a6359bebacf3e34f1134ef713c687c8e3edb/lib.js/clean/extension/content/firebug/lib.js