} 
} 
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)); }
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/15.9.5.4.js/buggy/js/tests/ecma_3/Date/15.9.5.4.js