#include <stdio.h>
int main(void){
  int n,a,b,c;
  scanf("%d",&n);
  
  a = n%10;
  b = n%100;
  c = n;
  if(a==7)printf("Yes");
  else if(80>b && b<=70)printf("Yes");
  else if(800>c && c>=700)printf("Yes");
  else printf("No");
  
  return 0;
}
  