document.write("940793")