( 25 , 459 .)