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