#include<bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i=0;i<n;i++)
#define all(v) v.begin(), v.end()
typedef long long ll;
typedef pair<ll,ll> P;
typedef vector<ll> vec;
typedef vector<vec> mat;
int main(){
    string n;
    cin>>n;
    if(n[0]=='7'||n[1]=='7'||n[2]=='7') cout<<"Yes";
    else cout<<"No";
}