function midnight(givenDate) 
function midnight(givenDate) 
function midnight(givenDate) {  // midnight on the given date -  return new Date(givenDate.getFullYear(), givenDate.getMonth(), givenDate.getDate());}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/15.9.5.6.js/buggy/js/tests/ecma_3/Date/15.9.5.6.js