Summa Rdr 1 , 693 , 726.