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