#include <stdio.h>

char po[] = "NNYYNYNYNNNYNYNNNYNYNNNYNNNNNYNYNNNNNYNNNYNYNNNYNNNNNYNNNNNYNYNNNNNYNNNYNYNNNNNYNNNYNNNNNYNNNNNNNYNNNYNYNNNYNYNNNYNNNNNNNNNNNNNYNNNYNNNNNYNYNNNNNNNNNYNYNNNNNYNNNNNYNNNYNNNNNYNNNNNYNYNNNNNNNNNYNYNNNYNYNNNNNNNNNNNYNNNNNNNNNNNYNNNYNYNNNYNNNNNYNYNNNNNNNNNYNNNNNYNNNNNYNNNNNYNYNNNNNYNNNYNYNNNNNNNNNYNNNNNNNNNNNNNYNNNYNYNNNYNNNNNNNNNNNNNYNNNNNYNNNNNNNNNYNYNNNYNNNNNYNNNNNNNYNNNNNYNNNNNYNNNYNNNNNYNNNNNNNYNNNYNNNNNNNYNNNNNNNNNYNYNNNNNNNNNYNYNNNNNYNNNYNNNNNYNNNNNNNYNNNYNYNNNYNNNNNNNNNNNYNNNNNNNYNNNYNNNNNNNYNNNYNNNNNYNNNNNNNNNNNYNYNNNNNNNNNNNNNNNNNYNNNNNYNNNNNNNNNYNNNNNYNNNNNYNYNNNNNYNNNNNNNNNYNNNNNYNNNNNYNYNNNNNYNNNNNYNNNYNYNNNNNNNNNNNYNNNNNNNNNYNYNNNYNNNNNYNNNNNYNYNNNNNNNNNNNYNNNYNNNNNYNNNNNNNYNNNNNNNNNYNNNNNNNYNNNNNNNNNYNNNNNNNYNNNNNYNNNNNYNNNYNNNNNNNYNNNNNYNNNYNNNNNNNYNNNYNNNNNNNNNNNNNYNNNNNNNNNYNNNNNNNNNNNYNYNNNNNNNNNYNYNNNYNYNNNNNNNNNYNNNNNNNNNNNNNYNNNYNYNNNYNNNNNNNNNNNNNYNNNYNYNNNYNNNNNNNNNNNNNNNNNNNYNNNYNNNNNNNYNNNNNNNNNYNNNNNNNYNNNYNNNNNYNNNNNYNNNNNNNNNNNNNYNNNYNNNNNYNNNNNYNNNNNNNYNNNNNYNNN";

int main(){
  int n;
  scanf("%d",&n);
  puts(po[n]=='Y'?"YES":"NO");
  return (int)NULL;
}