87 − 80 =