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