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