document.write("6942");