( 25 , 231 .)