#include<iostream>
using namespace std;

int main() {
    int N, P;
    int L[2];
    cin >> N;

    P = 0;
    for(int i=0; i<=2; i++){
        L[i] = N % 10;
        N = N % 10;
        if (L[i] == 7){
            P = 1;
        }
    }
    if(P == 1){
        cout << "Yes" << endl;
    }
    else{
        cout << "No" << endl;
    }
    return 0;
}