Background

Special for beginners, ^_^

Description

有时候徐老师会出神~他在想，如果我们有一个非负整数 n，那么这个 n 是否可以由一些非负整数的阶乘相加得到呢？请你判断一下~

Format

Input

有若干组数据。每行一个整数 n，保证 n<1000000。 以负数结束输入。

Output

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

Samples

9
-1

YES

Limitation

1s, 1024KiB for each test case.