( 25 , 431 .)