#include <bits/stdc++.h>
#define rep(i,a,b) for(ll i=ll(a);i<ll(b);i++)
#define irep(i,a,b) for(ll i=ll(a);i>=ll(b);i--)
#define pb push_back
#define mp make_pair
#define F .first
#define S .second 
using ll=long long;
using ld=long double;
using namespace std;
const ll mod=1e9+7;
ll a[110000],s[110000];
ll GCD(ll a, ll b) { return b ? GCD(b, a%b) : a; }

int main(){
    ll n,k;
    cin>>n;
    string s=to_string(n);
    if(s[0]=='7'||s[1]=='7'||s[2]=='7')cout<<"Yes";
    else cout<<"No";
    
}
