( 20 , 723 .)