#include<bits/stdc++.h>

#define ll long long
#define pi pair<int,int>
#define ppi pair<pi,pi>
#define mp make_pair
#define fr first
#define sc second

using namespace std;


int main(){

    ios::sync_with_stdio(0);
    cin.tie(0) , cout.tie(0);

    int n; cin >> n;
    bool ok = 0;
    while(n > 0){
        if(n % 10 == 7)ok = 1;
        n /= 10;
    }
    if (ok)cout << "Yse\n";
    else    cout << "No\n";


    return 0;
}
