MIN, SEC, MS ); 
MIN, SEC, MS ); 
function SetUTCHours( t, hour, min, sec, ms ) {  var TIME = t;  var HOUR = Number(hour);  var MIN =  ( min == void 0) ? MinFromTime(TIME) : Number(min);  var SEC  = ( sec == void 0) ? SecFromTime(TIME) : Number(sec);  var MS   = ( ms == void 0 ) ? msFromTime(TIME)  : Number(ms);  var RESULT6 = MakeTime( HOUR,			  MIN,			  SEC,			  MS );  return ( TimeClip(MakeDate(Day(TIME), RESULT6)) );}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/2b56c0b43398084b8e385949f724b853520cf25e/15.9.5.31-1.js/clean/js/tests/ecma/Date/15.9.5.31-1.js