var r = g._formats.call({},s); if (r[1].length==0) { 
var r = g._formats.call({}, s); if (r[1].length === 0) { 
    g.start = function (s) {        try {             var r = g._formats.call({},s);             if (r[1].length==0) {                return r;             }        } catch(e) {}        return g._start.call({},s);    };
4137	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4137/888f4f7a78848981050d0238bac0029f91b045f6/parser-debug.js/clean/parser-debug.js