document.write("3142")