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

int main() {
    int N;
    cin >> N;

    if ((N/100==7) || ((N/10)%10==7) || ((N%10)==7)) cout << "Yes" << endl;
    else cout << "No" << endl;

    return 0;
}

