document.write(' 9,046 ');