Summa Rint rdr 10 , 719:95.