document.write(' 9,943 ');