Summa rdr 12 , 517 : 12.