#include<stdio.h>
#include<stdlib.h>
#include<math.h>
#include<string.h>


int main(){


  long long int A;
  scanf("%lld",&A);

  /*
  int A[N];
  int i;
  for(i=0;i<N;i++){
   scanf("%d",&A[i]);
   }
  */



  if(A%10 == 7 || (int)(A/10)%10 == 7 || (int)(A/100)%10 == 7){
    printf("Yes");
  }
  else{
    printf("No");
  }    







 return(0);
 }
