( 20 , 719 .)