Summa rint rdr 12 , 158 : 88.