document.write(' [10782/9452]');