#include <bits/stdc++.h>
#define fast() ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);
#define ll long long int
using namespace std;
 
int main() {
    fast();
    /*ll t;
    cin>>t;
    while(t--)
    {
       
    }*/
    ll flag=0;
    ll n;
    cin>>n;
    while(n!=0)
    {
        ll x=n%10;
        if(x==7)
        flag=1;
        n/=10;
    }
    if(flag)
    cout<<"Yes";
    else
    cout<<"No";
}
