题目描述

给定一个非负整数 $\red{n，}$请你判断 $\red{n }$是否可以由一些不同非负整数的阶乘相加得到。

输入格式

有若干组数据。每行一个整数 $\red{n，}$保证 $\red{n<1000000}$。

以负数结束输入。

输出格式

对于每组数据输出一行，若可以则输出‘$\red{YES}$’，否则输出‘$\red{NO}$’。

样例

输入样例

9
-1

输出样例

YES