/*  This Code is Submitted by wywcgs for Problem 1302 on 2005-03-27 at 17:31:19 */ 
#include <stdio.h>

int main()
{
    long n, fact[10];
    int i, flag;
    
    fact[0] = 1;
    for(i = 1; i < 10; i++){
        fact[i] = fact[i-1] * i;
    }
    while(scanf("%ld", &n) == 1){
        if(n < 0){
            return 0;
        }else if(n == 0){
            printf("NO\n");
        }else{
            flag = 1;
            for(i = 9; i >= 0; i--){
                if(n >= fact[i]){
                    n -= fact[i];
                }
                if(n == 0){
                    printf("YES\n");
                    flag = 0;
                    break;
                }
            }
            if(flag == 1){
                printf("NO\n");
            }
        }
    }
    
    return 0;
}