Summa rint rdr 13 , 525 : 87.