#include <iostream>
#include <cstdio>
using namespace std;

const int fac[10]={1,1,2,6,24,120,720,5040,40320,362880};

int main()
{
    int N;
    while(cin>>N)
    {
       if(N<0)
          break;
       if(!N)
       {
          cout<<"NO"<<endl;
          continue;
       }
       for(int j=9;j>=0;j--)
       {
          if(fac[j]<=N)
             N-=fac[j];
       }
       if(!N)
          cout<<"YES"<<endl;
       else 
          cout<<"NO"<<endl;
    }
    return 0;
}