document.write('12,575');