document.write ("9672");