document.write("912142")