document.write("6942")