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