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