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