#include<stdio.h>
 
int main(){
  int n, var=0;
  scanf("%d", &n);
  while(n!=0){
    if(n%10==7) {
      printf("Yes\n");
      var =1;
      break;
    }
    n/=10;
  }
  if(var==0)
    printf("No\n");
  
  return 0;
}