document.write(' 9670 ');