APMO 1995 - Asian Pacific Mathematics Olympiad Question 5

Find the smallest positive integer $k$ for which a function $f:\mathbb Z\to\{1,2,\ldots,k\}$ exists satisfying $f(x)\ne f(y)$ whenever $|x-y|\in\{5,7,12\}$.