#include<bits/stdc++.h>
using namespace std;
typedef long long int ll;
unsigned long long int ull;
vector<int>adj[200105];
int visited[200105];
//int b[1000000];
//ll cnt,n,d;
#define mod 1000000007

void solve()
{
  string s;
  cin>>s;
  for(int i=0;i<s.size();i++)
  {
      if(s[i]=='7')
      {
          cout<<"Yes";
          return;
      }
  }
  cout<"No\n";
}
int main()
{
//int t;cin>>t;while(t--)
  solve();
  return 0;
}