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

int main(){
    int N,A,B,C;
    cin >> N;
    A = N/100;
    B = (N - 100*A)/10;
    C = (N - 100*A - 10*B);
    if(A ==7 || B == 7 || C == 7){
        cout << "Yes" << endl;
    }else{
        cout << "No" << endl;777
    }
    return 0;
}