#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace __gnu_pbds;
using namespace std;

#define lp(i,n) for(int i = 0; i <n;i++)
#define range(i,a,b) for(int i = int(a);i <= int(b);i++)
#define all(x) (x).begin(),(x).end()
#define pb push_back
#define MP make_pair
#define sz(v) ((int)((v).size()))
typedef long long ll;
typedef unsigned long long ull;
template<class T> using ordered_set=tree<
T,
null_type,
less<T>,
rb_tree_tag,
tree_order_statistics_node_update>;
const ll MOD = 1e9 + 7;
const int OO = (int)1e6;
const int N = (int)4e4+5;

void init(){
    ios_base::sync_with_stdio(0);
    cin.tie(0);
    cout.tie(0);
}
// int n,m,k;
// int col[N],row[N];
//  vector<int>a(n),b(m);
// void get_row(){
//       int start = 0,end=0;
//     while(idx<n){

//     }
// }
// void get_col(){
//     int start = 0,end=0;
//     while(idx<m){
//         range(i,idx,n-1){
//             if(!a[])idx++;
//         }
//     }
// }
int main() {
	#   ifdef LOCAL_PROJECT
        freopen("in.txt", "r", stdin);
    #   endif
    
    // scanf("%d %d %d",&n,&m,&k);
    // a=vector<int>(n),b=vector<int>(m);
    // range(i,0,n-1){
    //     scanf("%d",&a[i]);
    // }    
    // range(i,0,m-1){
    //     scanf("%d",&b[i]);
    // }
    string s;
    cin>>s;
    bool ok = 0;
    lp(i,sz(s)){
        if(s[i]-'0'==7)ok=1;
    }
    ok?puts("Yes"):puts("No");
    return 0;
}