17 − three =