actual = new Date(givenDate.toDateString() + 
actual = new Date(givenDate.toDateString() + 
function addDateTestCase(date_given_in_milliseconds){  var s = 'new Date(' +  date_given_in_milliseconds + ')';  givenDate = new Date(date_given_in_milliseconds);     status = 'd = ' + s +     '; d == new Date(d.toDateString() + " " + d.toLocaleTimeString())';     expect = givenDate.toString();  actual = new Date(givenDate.toDateString() +                     ' ' + givenDate.toLocaleTimeString()).toString();  addTestCase();}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/15.9.5.7.js/clean/js/tests/ecma_3/Date/15.9.5.7.js