rem:   regexp=new RegExp( reducedDateString  +  '(.*)GMT.*' ); 
add:     regexp=new RegExp(reducedDateString  +  '([^G]*)GMT.*'); 
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()  // the pattern for regexp:  /reducedDateString(.*)GMT.*/   regexp=new RegExp( reducedDateString  +  '(.*)GMT.*' );  hopeThisIsLocaleTimeString = (date.toString()).match(regexp)[1];  // trim any trailing spaces -  return trimR(hopeThisIsLocaleTimeString); }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/bc3b1264b81eacd299acd7255fdc01d65011e4de/15.9.5.7.js/buggy/js/tests/ecma_3/Date/15.9.5.7.js