Summa rint rdr 9 , 372 : 22.