document.write("940993")