document.write ("712 ");