document.write(' [71/4]');