#include <stdio.h>

int main(){
  char a[3];
  int b;
  
  scanf("%c",a);
  
  if(a[0] = 7){
   b = 1; 
  }
  
  if(a[1] = 7){
   b = 1; 
  }
  
  if(a[2] = 7){
   b = 1; 
  } 
  
  if(b = 1){
    printf("Yes");
  }
  
  if(b = 0){
    printf("No");
  }

  
  return 0;
}