document.write(' [1013/1000]');