document.write("940142")