#include <bits/stdc++.h>
int main() {
  int c, j, n;
  scanf("%d", &n);
  for (int i = 0; i < 3; i++) {
    if (n % 2 == 0)
      c = n / 2;
    else if (n % 3 == 0)
      c = n / 3;
    else if (n % 5 == 0)
      c = n / 5;
    else if (n % 7 == 0)
      c = n / 7;
    else
      printf("No");
  }
  if (c <= 9)
    printf("Yes");
  else
    printf("No");
}
