17 − twelve =