( 25 , 172 .)