#include<stdio.h>
int main(void){
  int x;
  int i,j;
  int yes=0;
  scanf("%d",&x);
  if(700<=x && 800>x){
    prinf("Yes");
    yes=yes+1;
  }
  
  for(i=0;10>i;i++){
    for(j=0;10>j;j++){
      if(100*i+70+j==x){
        printf("Yes");
        yes=yes+1;
      }
    }
  }
          
  for(i=0;10>i;i++){
    for(j=0;10>j;j++){
      if(100*i+10*j+7==x){
        printf("Yes");
        yes=yes+1;
      }
    }
  }
  if(yes==0){
    printf("No");
  }
  return 0;
}