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