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