#include<bits/stdc++.h>
using namespace std;
typedef long long int ll;
typedef pair<ll,ll> mp;
ll inf =  1e9;


int main(){
 ll a,b,c;
 string s,t;
cin>>s;
if(s[0]=='7' || s[1] =='7' || s[2] =='7' ){
 cout<<"Yes"<<endl;
}else{
 cout<<"No"<<endl;
}
    return 0;
}
