( 25 , 051 .)