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