document.write(' [10483/4994]');