#include<bits/stdc++.h>
using namespace std;
long long int a[30];
int main()
{
    long long int n,b[30],c,i,j,k,l,flag=0;
    a[0]=1;
    for(i=1;i<=20;i++)
    {
        a[i]=a[i-1]*i;
    }
    while(1)
    {
        cin>>n;
        flag=0;
        if(n<0)
            break;
        if(n==0){
            cout<<"NO"<<endl;
            continue;}
        for(i=20,j=0;i>=0;i--)
        {
            if(n>a[i])
            {
                b[j++]=i;
                n-=a[i];
            }
            else if(n==a[i])
            {

                b[j++]=i;
                flag=1;
                break;
            }
        }
        if(flag==0)
            cout<<"NO"<<endl;
        else
            cout<<"YES"<<endl;
    }
    return 0;
}