document.write(' [1012/1047]');