Summa rdr 2 , 402 , 145^12 '.