#include <bits/stdc++.h>
using namespace std;
#define pb push_back
#define mp make_pair
int n,arr[100001];
int main(){
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);
    string x;
    cin>>x;
    for (auto i:x){
        if (i=='7'){
            cout<<"Yes";
            return 0;
        }
    }
    cout<<"No";
    /*
    cin>>n;
    for (int i=0;i<n;i++){
        cin>>arr[i];
    }
    */
}