document.write(' [4930/31]');