' 16 , 719 .)