document.write("4142")