document.write("     673");