document.write ("9674 ");