( 25 , 143 .)