小理对数字之美的追求不局限于质数了，他发现了一种非常靓丽的数字，并命名为“和 数”。 “和数”就是能表示为一些互不相同的整数的阶乘之和的数。如 9=l!+2! +3!。 现在给定一个非负整数 n,要求判断 n 是否为“和数”,如果是,则输出“YES”,否则输出 “NO”(引号不输出)

【数据规模与约定】 对于 100%的数据有: 0≤n≤1000000

输入

输入文件中每行一个非负整数 n(n≤1000000),最后一行是一个负数,作为输入的结束

输出

对输入文件中的每个非负整数 n,在输出文件中分别输出“YES”或“NO”,各占 l 行。(引号不输出)

样例输入 复制

9

5

-1

样例输出 复制

YES

NO