Summa Rko Rdr 9 , 157 , 272 : 6.10.