document.write(' [86/113]');