Summa rint rdr 13 , 187 : 80.