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