Summa rint rdr 42 , 884 : 75.