( 19 , 723 .)