#include <stdio.h>

int lucky(int n)
{
  int flg=0;
  if(n%10==7){
    return 1;
  }else{
    if(n>=10){
      lucky(n/10);
    }else{
      return 0;
    }
    
}
int main()
{
  int n,flg=0;
  scanf("%d",&n);
  flag=lucky(n);
  if(flag==0)
    printf("No");
  else
    printf("Yes");
  
  return 0;
  
}