document.write("     672");