Summa rint rdr 3 , 738.