document.write('4,712');