document.write('6,711'); document.write("");