givenDate = new Date(date_given_in_milliseconds);  status = '('  +  givenDate  +  ').toTimeString()'; actual = givenDate.toTimeString(); expect = extractTimeString(givenDate); addTestCase(); 
givenDate = new Date(date_given_in_milliseconds);  status = '('  +  givenDate  +  ').toTimeString()'; actual = givenDate.toTimeString(); expect = extractTimeString(givenDate); addTestCase(); 
function addDateTestCase(date_given_in_milliseconds){   givenDate = new Date(date_given_in_milliseconds);      status = '('  +  givenDate  +  ').toTimeString()';      actual = givenDate.toTimeString();   expect = extractTimeString(givenDate);   addTestCase();}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/15.9.5.4.js/buggy/js/tests/ecma_3/Date/15.9.5.4.js