#include <bits/stdc++.h>
#define rep(i,n)  for(int i=0;i<n;i++)
#define fast_io() ios_base::sync_with_stdio(false); cin.tie(NULL)
using namespace std;
typedef long long ll;


vector<ll> Songs(200010);
unordered_map<ll, ll> indexes;
unordered_set<ll> indx;

int main(){
    fast_io();
    string N;
    cin >> N;
    bool flag = false;
    rep(i,N.size()){
        if(N[i] == '7') flag = true;
    }
    cout << (flag? "Yes\n" : "No\n");
    return 0;
}
