rem:     regexp=new RegExp(reducedDateString  +  '([^G]*)GMT.*'); hopeThisIsLocaleTimeString = (date.toString()).match(regexp)[1];   return trimR(hopeThisIsLocaleTimeString); } 
add:  return trimL(trimR(hopeThisIsLocaleTimeString)); } 
context: function extractLocaleTimeString(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() by matching  // up to "GMT". Guard against dates with two "GMT"s:  // dates like Jan 01 00:00:00 GMT+0000 (GMT Standard Time)   // the pattern for regexp: /reducedDateString([^G]*)GMT.*/   regexp=new RegExp(reducedDateString  +  '([^G]*)GMT.*');  hopeThisIsLocaleTimeString = (date.toString()).match(regexp)[1];  // trim any trailing spaces -  return trimR(hopeThisIsLocaleTimeString); }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/7467a1a6111a3a2a2070fb867901831bd14d42d8/15.9.5.7.js/clean/js/tests/ecma_3/Date/15.9.5.7.js