document.write(' [10068/7547]');