#include <bits/stdc++.h>
using namespace std;
string s;
int main(){
    cin>>s;
    int a=s.size();
    for(int i=0;i<a;i++){
        if(s[i]=='7'){
            cout<<"Yes"<<endl;
            return 0;
        }
    }
    cout<<"No"<<endl;
}
