document.write("7242")