document.write('13,054');