document.write(' [1730/1157]');