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