#include<stdio.h>
int fac[10]={1,1,2,6,24,120,720,5040,40320,362880};
int main()
{
	int n,i,sign;
	while(scanf("%d",&n),n>=0)
	{
		sign=0;
		for(i=9;i>=0;i--)
		{
			if(n>=fac[i])
			{
				n-=fac[i];
				sign=1;
			}
		}
		if(sign && !n) printf("YES\n");
		else printf("NO\n");
	}
        return 0;
}