#include <bits/stdc++.h>
using namespace std;
using ll = long long;
const int inf = 1e9 + 7;
const ll longinf = 1LL << 60;
const ll mod = 1e9 + 7;

int main() {
    int N;
    cin >> N;
    while(N){
        if(N%10 == 7){
            cout << "Yes";
            return 0;
        }
        else N /= 10;
    }
    cout << "No";
    return 0;
}