document.write("931943")