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