CF681B Economy Game

Kolya 正在开发一款经济模拟器游戏。他最喜欢的开发环节就是在游戏内做测试。有一次他玩得太入迷，发现自己的游戏币分数变成了 $0$。 Kolya 记得游戏开始时他的游戏币分数是 $n$，并且他只购买过一些房屋（每栋需要 $1234567$ 游戏币）、汽车（每辆 $123456$ 游戏币）和电脑（每台 $1234$ 游戏币）。 Kolya 现在关心，他是否可能只通过购买房屋、汽车和电脑就花光了所有的 $n$ 游戏币，还是说游戏里有 bug。换句话说，是否存在非负整数 $a$、$b$、$c$，使得 $a\times1234567+b\times123456+c\times1234=n$？ 请帮助 Kolya 回答这个问题。

输入的第一行包含一个整数 $n$（$1 \leq n \leq 10^9$）——Kolya 最初的游戏币分数。

如果有可能只通过购买房屋、汽车和电脑刚好花光所有初始的 $n$ 游戏币，输出 "YES"（不带引号）；否则输出 "NO"（不带引号）。

在第一个样例中，其中一种可行方案是购买一栋房屋、一辆汽车和一台电脑，总共花费 $1234567+123456+1234=1359257$ 个游戏币。 由 ChatGPT 5 翻译