document.write("940717")