17 − zwölf =