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