17 − fünfzehn =