document.write(' [2699/1728]');