document.write(' 12,521 ');