( 13 , 723 .)