document.write(' 9672 ');