document.write("940716")