document.write(' [3427/3707]');