f\colon\{0\}\to\{17\}