document.write("402212")