#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<ll,ll> pll;
typedef pair<int,int> pii;
#define fi first
#define se second
#define endl '\n'
#define y1 holyshit
#define all(x) x.begin(),x.end()
const int inf=0x3f3f3f3f;

int main(){
    ios_base::sync_with_stdio(0); cin.tie(0);
    int N; cin>>N;
    bool flag=0;
    while(N){
    	flag|=(N%10==7);
    	N/=10;
    }
    if(flag) cout<<"Yes";
    else cout<<"No";
   return 0;
}