#include "bits/stdc++.h" 
using namespace std;
#define rep(i,a,n) for(ll i=a;i<n;i++)
#define rerep(i,a,n) for(ll i=n;i>=a;i--)
#define elif else if
#define all(s) s.begin(),s.end()
typedef long long ll;
int main(){
    ll n;
    bool flag=false;
    cin>>n;
    if(n%10==7)flag=true;
    n/=10;
    if(n%10==7)flag=true;
    n/=10;
    if(n%10==7)flag=true;
    if(flag)cout<<"Yes"<<endl;
    else cout<<"No"<<endl;
    return 0;
}