document.write(' [4908/5143]');