{ x += this.counter; if (--counter == 0) throw "Done"; } 
{ x += this.counter; if (--counter == 0) throw "Done"; } 
  function g()    {      x += this.counter;      if (--counter == 0)        throw "Done";    }
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-365527.js/clean/js/tests/js1_5/extensions/regress-365527.js