document.write(' 12,307 ');