APMO 1995 Problem 5

Find the minimum positive integer $k$ such that there exists a function $f$ from the set $\Bbb{Z}$ of all integers to $\{1, 2, \ldots k\}$ with the property that $f(x) \neq f(y)$ whenever $|x-y| \in \{5, 7, 12\}$ .