document.write(' 9,042 ');