#include <bits/stdc++.h>
typedef long long int ll;
#define rep(i,n) for (int i = 0; i< (n); i++)
#define Rep(i,n,m) for (int i = (n); i< (m); i++)
#define Sort(a) sort(a.begin(), a.end())
#define Reverse(a) reverse(a.begin(), a.end())
using namespace std;



int main() {
    int n;
    string s ="No";
    cin>>n;
    
    if(n%10 == 7) s ="Yes";
    n = n/10;
    if(n%10 == 7) s ="Yes";
    n = n/10;
    if(n%10 == 7) s ="Yes";
    n = n/10;
    
    
    cout<<s<<endl;
    return 0;
}
