document.write("6842");