#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define pb push_back
#define scan(a,n) for(int i=0;i<n;i++)cin>>a[i]
#define scan1(a,n) for(int i=0;i<n;i++){  int z; cin>>z; a.pb(z);}
#define print(a) for(int i=0;i<a.size();i++){    cout<<a[i]<<" " ;}
#define for1(i,n) for(int i=0;i<n;i++)
int main() 
{
  string s;
  cin>>s;
    if(s[0]=='7'||s[1]=='7'||s[2]=='7')
      cout<<"Yes"<<endl;
    else
       cout<<"No"<<endl;
  return 0;
}