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

int main(){

    int N;
    cin >> N;

    bool frag = false;

    if (N / 100 == 7) frag = true;
    N -= N / 100 * 100;
    if (N / 10 == 7) frag = true;
    N -= N / 10 * 10;
    if (N == 7) frag = true;

    if (frag) cout << "Yes" << endl;
    else cout << "No" << endl;

    return 0;
}