( 25 , 753 .)