document.write(' 9671 ');