Summa rdr rint 5 , 793 : 47.