#include <stdio.h>
int main() {
int n;
  int a[20];
   a[0]=1;
   for(int i=1;i<11;i++)
   {
    a[i]=a[i-1]*i;
   }
while(scanf("%d",&n)!=EOF)
{
 
   for(int i=10;i>=0;i--)
   {
    if(n>=a[i])
    {
        n=n-a[i];
    }   
   }
    if(n==0)
     printf("YES\n");
    else
    printf("NO\n");

 }
    
  




    return 0;
}