var dst_start = GetFirstSundayInApril(t) + 2*msPerHour; var dst_end   = GetLastSundayInOctober(t)+ 2*msPerHour; 
var dst_start = GetDSTStart(t); var dst_end   = GetDSTEnd(t); 
function DaylightSavingTA( t ) {  t = t - LocalTZA();  var dst_start = GetFirstSundayInApril(t) + 2*msPerHour;  var dst_end   = GetLastSundayInOctober(t)+ 2*msPerHour;  if ( t >= dst_start && t < dst_end ) {    return msPerHour;  } else {    return 0;  }  // Daylight Savings Time starts on the first Sunday in April at 2:00AM in  // PST.  Other time zones will need to override this function.  print( new Date( UTC(dst_start + LocalTZA())) );  return UTC(dst_start  + LocalTZA());}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/2b56c0b43398084b8e385949f724b853520cf25e/shell.js/buggy/js/tests/ecma_3/Date/shell.js