#include<bits/stdc++.h>
using namespace std;
int main()
{
  int n,a=1,b=1;
  cin >> n;
  int f=0;
  while(n>0)
  {
    a=n%10;
    if(a==7)
    {
      f=1;
      break;
    }
    else
    {
      n=n/10;
    }
  }
  if(f==1)cout<<"Yes";
  else cout<<"No";

}