document.write(' [872/2331]');