document.write('940715');