rem:   regexp=new RegExp( reducedDateString  +  '(.*)'  +  year  +  '$'); hopeThisIsTimeString = (date.toString()).match(regexp)[1];   return trimR(hopeThisIsTimeString); 
add:  return trimL(trimR(hopeThisIsTimeString)); 
context: function extractTimeString(date) {  year = date.getFullYear();   // strip the year off date.toDateString().   // the pattern for regexp:   /(.*)year$/  regexp = new RegExp('(.*)' +   year  +  '$');   reducedDateString = (date.toDateString()).match(regexp)[1];  // now extract the middle of date.toString()  // the pattern for regexp:  /reducedDateString(.*)year$/   regexp=new RegExp( reducedDateString  +  '(.*)'  +  year  +  '$');  hopeThisIsTimeString = (date.toString()).match(regexp)[1];  // trim any trailing spaces -  return trimR(hopeThisIsTimeString); }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/7467a1a6111a3a2a2070fb867901831bd14d42d8/15.9.5.4.js/clean/js/tests/ecma_3/Date/15.9.5.4.js