Summa rint rdr 15 , 838 : 22.