#include<bits/stdc++.h>
using namespace std;
#define ll long long int 
int main()
{
  ios_base::sync_with_stdio(false);
cin.tie(NULL);
cout.tie(NULL);
/*ll t;cin>>t;
 while(t--)
  {*/
    ll i, flag=0;
   string s;cin>>s;
   for(i=0;i<s.length();i++)
    {
      if(s[i]=='7')
      flag=1;
      }
      if(flag==1)
      cout<<"Yes";
      else
      cout<<"No";
    
}    