#include <stdio.h>
#include <stdlib.h>
 
int main(){
  int n;
  int ct = 0;
 scanf("%d",&n);
 for(int i=0;i<3;i++){
  if(n%10==7){
 	printf("Yes");
    return 0;
  }
   n = n/10;
 }
 
  printf("No");
  return 0;
}
  
  
  
  
  
}
#include <stdio.h>
#include <stdlib.h>

int main(){
  int n;
  int ct = 0;
 scanf("%d",&n);
 for(int i=0;i<3;i++){
  if(n%10==7){
 	printf("Yes");
    return 0;
  }
   n = n/10;
 }
 
  printf("No");
  return 0;
}
  
