document.write(' 11,517 ');