#include <bits/stdc++.h>

using namespace std;

int main(){
    string N;
    cin >> N;

    string res = "No\n";

    for(auto& n: N){
        if((int)(n-'0') == 7) res = "Yes\n";
    }

    cout << res ;
}