document.write(' [4236/10339]');