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