#include<bits/stdc++.h>
using namespace std;
typedef long long int ll;
const int N = (int)1e5+5;

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);

    string n;
    cin>>n;
    for(auto it:n) {
        if(it=='7') {
            cout<<"Yes";
            return 0;
        }
    }
    cout<<"No";
}
