if ( t >= dst_start && t < dst_end ) 
if ( t >= dst_start && t < dst_end ) 
function DaylightSavingTA( t ) {  t = t - LocalTZA();  var dst_start = GetDSTStart(t);  var dst_end   = GetDSTEnd(t);  if ( t >= dst_start && t < dst_end )     return msPerHour;  return 0;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/shell.js/buggy/js/tests/ecma_3/Date/shell.js