( 23 , 725 .)