( 25 , 723 .)