document.write("6242");