document.write(' 12,087 ');