#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;
}



京公网安备 11010502036488号