#include <stdio.h>

int main(void) {
  int N;
  
  printf("enter the number¥n");
  scanf("%d",&N);
  
  if(((N - N%100) % 7) == 0 || ((N%100 - N%10) % 7) == 0 || (N%10 % 7) == 0)
    printf("Yes");
  else
    printf("No");
  
  return 0;
}