( 80 / 47 .)