#include <bits/stdc++.h>

#define llint long long int

using namespace std;

int main(){
    int N;

    cin >> N;

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