/*

            ░   ▒▓█  𝕿𝖆𝖑𝖐 𝖎𝖘 𝖈𝖍𝖊𝖆𝖕. 𝕾𝖍𝖔𝖜 𝖒𝖊 𝖙𝖍𝖊 𝖈𝖔𝖉𝖊 █▓▒░
   */
#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define endl "\n"
#define si(x) (ll)((x).size())
#define pb push_back
#define F first
#define S second
#define rep(i,n) for(ll i=0;i<n;i++)
#define per(i,n) for(ll i=n-1;i>=0;i--)
#define rep1(i,n) for(ll i=1;i<=n;i++)
#define per1(i,n) for(ll i=n;i>=1;i--)
#define all(x) (x).begin(), (x).end()
#define make_unique(x) (x).resize(unique(all(x))-(x).begin())
const int  N = 2e5 + 10, m = 200;
ll m = 1e9 + 7;
void solve()
{
    string s;
    cin>>s;
    for(auto i:s)if(i=='7')
    {
        cout<<"Yes";
            return;
    }

    cout<<"No";
}
int main()
{


    ios_base::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);



    int t = 1, n, x, ans;
    // cin >> t;

    while(t--)
    {
        solve();

    }


}
