( 31 , 725 .)