#include <bits/stdc++.h>
using namespace std;
//#pragma GCC target("avx2")
#pragma GCC optimize("-O3")
#define rep(i,a,n) for (int i=a;i<n;i++)
#define per(i,a,n) for (int i=n-1;i>=a;i--)
#define pb push_back
#define mp make_pair
#define all(x) (x).begin(),(x).end()
#define fi first
#define se second
#define INF 1e18
#define SZ(x) ((int)(x).size())
typedef vector<int> VI;
typedef long long ll;
typedef long double ld;
typedef pair<int,int> PII;
typedef double db;
mt19937 mrand(random_device{}());
const ll mod=1743;
const ll gd = 2000001;
const ll gd_o = 1000001;
//const ll p = 31;
const ll MD=1e6 + 3;
int rnd(int x) { return mrand() % x;}
ll fastpow(ll a, ll n) {ll res=1;while(n){if(n&1)res*=a;a*=a;n>>=1;}return res;}
ll powmod(ll a,ll b) {ll res=1;a%=mod; assert(b>=0); for(;b;b>>=1){if(b&1)res=res*a%mod;a=a*a%mod;}return res;}
ll gcd(ll a,ll b) { return b?gcd(b,a%b):a;}
ll nok(ll a,ll b){ return (a * b / gcd(a, b));}


int main() {
    ios::sync_with_stdio(0); cin.tie(0); cout.tie(0);
//    freopen("input.txt","r",stdin);
//    freopen("output.txt","w",stdout);
//    freopen("msched.in", "r", stdin);
//    freopen("msched.out", "w", stdout);
    string n;
    cin >> n;
    for (int i = 0; i < n.size(); i++)
        if (n[i] == '7') {cout << "Yes"; return 0;}
    cout << "No";
}
