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


int main (){
    string N;
    string t="No";
    cin >> N;
    for(int i=0;i<3;i++){
        if(N.at(i) == '7'){
            t="Yes";
        }
    }
    cout << t << endl;
}