function findExecutableLine(script, lineNo){    var max = script.baseLineNumber + script.lineExtent;    for (; lineNo <= max; ++lineNo)    {        if (script.isLineExecutable(lineNo, PCMAP_SOURCETEXT))            return lineNo;    }        return -1;}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/debugger.js/buggy/extension/content/firebug/debugger.js