12 − seven =