#include <bits/stdc++.h>
#include <math.h>
#include <regex>
using namespace std;
typedef long long ll;
typedef long double ld;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
const ll mod = 1000000007;
const int INF = 1001001001;
const ll LINF = 1001001001001001001;
ld n , d;
vector<vector<ld>> x(n,vector<ld>(d));

int main(){
    ll n ; cin >> n;
    bool flag = 0;
    ll x = 3;
    while(x--){
    if(n%10==7){
        flag = 1;
    }
    n/=10;
    }
    if(flag){
        cout <<"Yes" << endl;
    }else{
        cout << "No" << endl;
    }
    return 0;
}