document.write("920412")