#include<stdio.h>

int main(void){
  
  char str[4];
  int i,count;
  
  count = 0;
  
  fgets(str,sizeof str,stdin);
  
  for(i = 0;i <= 2;i++){
    
    if(str[i] == "7"){
      
      count += 1;
      
    }
    
  }
  
  if(count > 0){
    
    printf("Yes\n");
    
  }
  
  else{
    
    printf("No\n");
    
  }
  
  return 0;
  
}