document.write(' [4787/5286]');