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