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