document.write(' [1712/1695]');