Summa rint rdr 1 , 502 : 76.