Summa rgS rdr 13 , 762.