( 25 , 522 .)