#include <bits/stdc++.h>
#define rep(i,a,b) for(int i=int(a);i<int(b);++i)
#define SIZE 200005
#define INF 1000000005LL
#define MOD 1000000007
using namespace std;
typedef long long int ll;
typedef pair <int,int> P;
int main(){
    string N;
    cin >> N;
    int check=0;
    rep(i,0,3){
        if(N.at(i)=='7'){
            check = 1;
        }
    }
    if(check==1){
        cout <<"Yes"<<endl;
    }else{
        cout << "No" << endl;
    }
    return 0;
}