document.write("947242")