#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int(i) = 0;(i) < (n); (i)++)
typedef long long ll;

 int main(){
     string N;
     int l = 0;
     cin >> N;
    rep(i,N.size()){
        if(N.at(i) == '7') {
        l++;
        }
    }
        if(l >= 1){
            cout << "Yes" <<endl;
        }else{
            cout << "No" << endl;
        }
    }