#include <bits/stdc++.h>
#define endl '\n'
// using namespace std;

std::string hasSeven(int N) {
    int tmp = 0;
    while(N>0){
        tmp = tmp*10 + N%10; 
        N = N/10;
        if (tmp == 7) {
            return "Yes";
        }
    }
    return "No";
}
int main() {
    int N;
    std::cin >> N;
    std::cout << hasSeven(N) << endl;
    return 0;
}
