#define rep(i,n) for(int i=0;i<n;i++)
#include<bits/stdc++.h>
using namespace std;
using ll=long long;

int main(){
    string n;
    bool f=0;
    cin>>n;
    rep(i,3)
        if(n[i]=='7')
            f=1;
    cout<<(f?"Yes":"No")<<endl;

}
