DateString+".toString=Object.prototype.toString;" + 
DateString+".toString=Object.prototype.toString;" + 
function addNewTestCase( time, hours, min, sec, ms, DateString, UTCDate, LocalDate) {  DateCase = new Date(time);  if ( min == void 0 ) {    DateCase.setUTCHours( hours );  } else {    if ( sec == void 0 ) {      DateCase.setUTCHours( hours, min );    } else {      if ( ms == void 0 ) {        DateCase.setUTCHours( hours, min, sec );      } else {        DateCase.setUTCHours( hours, min, sec, ms );      }    }  }  new TestCase( SECTION, DateString+".getTime()",            UTCDate.value,                DateCase.getTime() );  new TestCase( SECTION, DateString+".valueOf()",            UTCDate.value,                DateCase.valueOf() );  new TestCase( SECTION, DateString+".getUTCFullYear()",     UTCDate.year,                DateCase.getUTCFullYear() );  new TestCase( SECTION, DateString+".getUTCMonth()",        UTCDate.month,                DateCase.getUTCMonth() );  new TestCase( SECTION, DateString+".getUTCDate()",         UTCDate.date,                DateCase.getUTCDate() );  new TestCase( SECTION, DateString+".getUTCDay()",          UTCDate.day,                DateCase.getUTCDay() );  new TestCase( SECTION, DateString+".getUTCHours()",        UTCDate.hours,                DateCase.getUTCHours() );  new TestCase( SECTION, DateString+".getUTCMinutes()",      UTCDate.minutes,                DateCase.getUTCMinutes() );  new TestCase( SECTION, DateString+".getUTCSeconds()",      UTCDate.seconds,                DateCase.getUTCSeconds() );  new TestCase( SECTION, DateString+".getUTCMilliseconds()", UTCDate.ms,                DateCase.getUTCMilliseconds() );  new TestCase( SECTION, DateString+".getFullYear()",        LocalDate.year,                DateCase.getFullYear() );  new TestCase( SECTION, DateString+".getMonth()",           LocalDate.month,                DateCase.getMonth() );  new TestCase( SECTION, DateString+".getDate()",            LocalDate.date,                DateCase.getDate() );  new TestCase( SECTION, DateString+".getDay()",             LocalDate.day,                DateCase.getDay() );  new TestCase( SECTION, DateString+".getHours()",           LocalDate.hours,                DateCase.getHours() );  new TestCase( SECTION, DateString+".getMinutes()",         LocalDate.minutes,                DateCase.getMinutes() );  new TestCase( SECTION, DateString+".getSeconds()",         LocalDate.seconds,                DateCase.getSeconds() );  new TestCase( SECTION, DateString+".getMilliseconds()",    LocalDate.ms,                DateCase.getMilliseconds() );  DateCase.toString = Object.prototype.toString;  new TestCase( SECTION,                DateString+".toString=Object.prototype.toString;" +                 DateString+".toString()",                "[object Date]",                DateCase.toString() );}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/15.9.5.31-1.js/buggy/js/tests/ecma/Date/15.9.5.31-1.js