#include <bits/stdc++.h>
using namespace std;
typedef long long int ll;
// ll mod=1000000007;
 
int main(){
    ios_base::sync_with_stdio(false); 
    cin.tie(NULL);
    cout.tie(NULL);
    ll t,i,j,k,temp,temp2,n,m,x,y,sum=0;
    cin >> t;
    string s = to_string(t);
    if(s[0]=='7'||s[1]=='7'||s[2]=='7') cout << "Yes";
    else cout << "No";
}