rem: } 
add: } 
context: function extractTimeString(date){  regexp = new RegExp(date.toDateString() + '(.*)' + '$');  try  {    hopeThisIsTimeString = date.toString().match(regexp)[1];  }  catch(e)  {    return cnERR;  }  // trim any leading or trailing spaces -  return trimL(trimR(hopeThisIsTimeString)); }
meta: 10520	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10520/0b675418ba636127763e94e614e62364d6caa659/15.9.5.4.js/buggy/js/tests/ecma_3/Date/15.9.5.4.js