return this.getSourceLineRange(lines, 0, lines.length-1, maxLineNoChars); 
return this.getSourceLineRange(lines, 1, lines.length, maxLineNoChars); 
this.getSourceLines = function(lines){    var maxLineNoChars = (lines.length + "").length;    return this.getSourceLineRange(lines, 0, lines.length-1, maxLineNoChars);};
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/c5f013dccda5f25ec6c3894c73898353bae36759/lib.js/buggy/extension/content/firebug/lib.js