#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¥n");
  else
    printf("No¥n");
  
  return 0;
}