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

int main() {
    string n;
    std::cin >> n;
    rep(i, 3){
        if(n.at(i) == '7') {
            std::cout << "Yes" << std::endl;
            break;
        }
        if(i == 2) std::cout << "No" << std::endl;
    }
}
