document.write ("673");