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



京公网安备 11010502036488号