for ( d = 0; d < TimeInMonth(m); d+= msPerDay*6 ) { t += d;  new TestCase( SECTION, "(new Date("+t+")).getDay()", WeekDay(LocalTime(t)), (new Date(t)).getDay() ); } 
for (var d = start; d < stop; d += msPerDay) { new TestCase( SECTION, "(new Date("+d+")).getDay()", WeekDay((LocalTime(d))), (new Date(d)).getDay() ); 
function addTestCase( t ) {  for ( var m = 0; m < 12; m++ ) {    t += TimeInMonth(m);    for ( d = 0; d < TimeInMonth(m); d+= msPerDay*6 ) {      t += d;      new TestCase( SECTION,		    "(new Date("+t+")).getDay()",		    WeekDay(LocalTime(t)),		    (new Date(t)).getDay() );    }  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/2b56c0b43398084b8e385949f724b853520cf25e/15.9.5.12-5.js/buggy/js/tests/ecma/Date/15.9.5.12-5.js