#include <bits/stdc++.h>
using namespace std;

#define ll long long

int main(){

    ios::sync_with_stdio(false);
    cin.tie(0);
    
    ll n;
    cin >> n;

    while (n)
    {
        int d= n%10;
        if(d==7){
            cout << "Yes\n";
            return 0;
        }
        n/=10;
    }
    cout << "No\n";
    return 0;
}