document.write(' [2545/2508]');