document.write(' [9574/8342]');