return ( MyDateFromTime(t) ); 
return ( MyDateFromTime(t) ); 
function UTCDateFromTime(t) { return ( MyDateFromTime(t) );}
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