document.write(' [88/193]');