document.write("     6708");