//agrawal117
//chahatagrawal117
#include<bits/stdc++.h>
#define endl '\n'
#define mod 1000000007
typedef long long int ll;
using namespace std;
#define MAX 100005
int main()
{
    ios_base::sync_with_stdio(0);
    cin.tie(0);
    cout.tie(0);
    ll n; cin>>n;
    while(n>0)
    {
        ll x=n%10;
        if(x==7) {cout<<"Yes"<<endl; return 0; }
        n/=10;
    }
    cout<<"No"<<endl;
}