#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <math.h>
 
int main()
{
  long long int N,M;
  long long int i,j,k;
  char buff[256];
  
  scanf("%s",buff);
  if(strstr(buff,"7")){
    printf("Yes\n"); 
  }
  else{
    printf("No\n");
  }
 
 

   
  return 0; 
  
}