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

int getmd(int a,int b,int c,int d){
    return abs(a-c)+abs(b-d);
}

int main(){
    string s;
    cin >> s;
    rep(i,s.size()){
        if(s[i]=='7'){
            puts("Yes");
            return 0;
        }
    }
    puts("No");

    return 0;
}