#include<stdio.h>
void main(){
  int n, r;
  while(n != 0)
  {
    r = n%100;
    if(r == 7)
      printf("Yes");
    break;
    else if
    {
      n= n/100;
      r = n%10;
       if(r == 7)
      printf("Yes");
    break;
    }
    else if
    {
      n = n/10;
      if(n == 7){
        printf("Yes");
      }
      else{
        printf("No");
      }
    }
        