document.write("4212")