Summa rint rdr 17 , 699 : 50.