document.write('13,945');