document.write(' 9679 ');