document.write("7242");