#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int64_t i = 0; i < (int64_t)(n); i++)

int main() {
    string s; cin >> s;
    bool ans = false;
    for(char c : s){
        if(c == '7') ans = true;
    }
    if(ans) cout << "Yes" << endl;
    else cout << "No" << endl;
}
