80 − 71 =