T = Number( T ); TIME = MakeTime(    HourFromTime(T), MinFromTime(T), SecFromTime(T), MS ); return( MakeDate( Day(T), TIME )); 
T = Number( T ); TIME = MakeTime(    HourFromTime(T), MinFromTime(T), SecFromTime(T), MS ); return( MakeDate( Day(T), TIME )); 
function SetUTCMilliseconds( T, MS ) {    T = Number( T );    TIME = MakeTime(    HourFromTime(T),                        MinFromTime(T),                        SecFromTime(T),                        MS );    return( MakeDate( Day(T), TIME ));}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/15.9.5.25-1.js/clean/js/tests/ecma/Date/15.9.5.25-1.js