#include <iostream>
#include <vector>
#include <algorithm>
#define int long long

using namespace std;

signed main(){
    string str;
    //nums.resize(n);
    cin >> str;
    for(int i=0;i<str.size();i++){
        if(str[i]=='7') {
            cout << "Yes" << endl;
            break;
        }
        else{
            if(i==str.size()-1){
                cout << "No" << endl;

            }
        }
    }
    
    return 0;
}