#include <stdio.h>
#include <stdlib.h>

int main(int argc, char *argv[])
{
  long i;
  int j,k,a,b;
  while(1)
  {
       k=1;
       scanf("%d",&i);
       if(i<0)break;
       if(i==1){printf("YES\n");break;}
       for(j=2;;j++)
       {
            a=1;
            for(b=j;b>0;b--)
            {
                 a=a*b;
            }
            k+=a;
            if(k>i){printf("NO\n");break;}
            if(k==i){printf("YES\n");break;}
       }
  }
  system("PAUSE");	
  return 0;
}