{ capture(this.toString()); b(); } 
{ capture(this.toString()); b(); } 
  this.c = function()  {    capture(this.toString());    b();  }
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/scope-003.js/buggy/js/tests/js1_5/Scope/scope-003.js