12 − 7 =