Summa rint rdr 9 , 590 : 35.