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