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

int main(){
    string N;
    cin >> N;
    
    string ans = "No";
    rep(i, 3){
        if(N.at(i) == '7'){
            ans = "Yes";
        }
    }

    cout << ans <<endl;
    return 0;
}