A32852.Happy#32-T4 十二生肖

在中国文化中，十二生肖是一种重要的象征，广为流传。这十二个动物分别是鼠、牛、虎、兔、龙、蛇、马、羊、猴、鸡、狗和猪，每一个生肖都代表着特定的性格特征和命运走向。人们常常通过生肖来推测自己的运势、选择适合的职业或者安排生活中的重大事件。因此，生肖在我们的日常生活中扮演着重要的角色。

现在，我们将关注一个有趣的数学问题。给你一个整数 $x$，你需要判断，这个整数是否跟生肖有关。比如，如果你在数字中找到了 $12$，那么就仿佛在告诉自己，这与生肖中的某种动物直接相关；而如果这个数字能够被 $12$ 整除，那么就意味着它可能与生肖循环的规律有某种关联。

输入共一行，包含一个整数 $x$。

如果整数 $x$ 中出现过数字 $12$ 或者能够被 $12$ 整除，输出一行 YE5，否则输出一行 N0。

样例 1 解释

显然，$66124$ 中出现了 $12$。

样例 2 解释

容易知道，$2364 = 12 \times 197$，所以 $2364$ 可以被 $12$ 整除。

数据规模

对于 $20\%$ 的测试数据，保证 $x \leq 10$；

对于 $40\%$ 的测试数据，保证 $x < 100$；

对于 $100\%$ 的测试数据，保证 $1 \leq x \leq 10 ^ {18}$。