#include <bits/stdc++.h>
#define ll long long int
#define IOS ios_base::sync_with_stdio(false); cin.tie(NULL); cout.tie(NULL);
#define vi vector<int>
#define pb emplace_back
#define all(x) (x).begin(), (x).end()
#define deb(x) cout << #x << " - " << x << endl;
const ll MOD = 1e9 + 7;
const ll INF = 1 << 29;
const ll MAX_N = 1e6 + 7;
using namespace std;

int main() {
    IOS;
    int n,flag=1; cin>>n;
    while(n){
        if(n%10==7){
            flag=0;
            break;
        }
        n/=10;
    }
    if(flag) cout<<"No";
    else cout<<"Yes";
    return 0;
}