document.write(" 673");