document.write(' 5,142 ');