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

int main(){
    int N;
    cin >> N;
    int a = N / 100;
    int b = N - a * 100;
    int c = b / 10;
    int d = b - c * 10;
    if(a == 7 || c == 7 || d == 7){
        cout << "Yes" << endl;
    } else {
        cout << "No" << endl;
    }


    return 0;
}
