document.write(' [4333/3072]');