( 9 , 723 .)