document.write("940005")