document.write ("673 ");