document.write("     3943");