12770 + 12 .)