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

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