document.write(' [1685/1958]');