document.write("7 ")