document.write("     6744");