document.write("     6750");