document.write(' [1792/712]');