document.write(' [5928/3743]');