#include<stdio.h>
void main()
{
	int i;
	long int n,t[10];
	t[1]=1;
	for(i=2;i<10;i++)t[i]=i*t[i-1];
	while(1)
	{
		scanf("%ld",&n);
		if(n<0)break;
		if(n==0)printf("NO\n");
		else
		{
			for(i=9;i>0&&n>0;i--)
			{	
				if(n>=t[i])n-=t[i];
			}
			if(n==0)printf("YES\n");
			else printf("NO\n");
		}
	}
}