document.write('6,717');