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