#include <bits/stdc++.h>
#define int long long
#define f first
#define s second
using namespace std;
int32_t main(){
    if(fopen("input.txt", "r"))
    freopen("input.txt", "r", stdin),
    freopen("output.txt", "w", stdout);
    ios::sync_with_stdio(0),cin.tie(0);
    string st;
    cin >> st;
    int ok=0;
    for(int i=0;i<st.size();i++)
        if(st[i]=='7')ok=1;
    if(ok)cout << "Yes";
    else cout << "No";
}