#include <iostream> // cout, endl, cin
#include <string> // string, to_string, stoi
#include <vector> // vector
#include <algorithm> // min, max, swap, sort, reverse, lower_bound, upper_bound
#include <utility> // pair, make_pair
#include <tuple> // tuple, make_tuple
#include <cstdint> // int64_t, int*_t
#include <cstdio> // printf
#include <map> // map
#include <queue> // queue, priority_queue
#include <set> // set
#include <stack> // stack
#include <deque> // deque
#include <unordered_map> // unordered_map
#include <unordered_set> // unordered_set
#include <bitset> // bitset
#include <cctype> // isupper, islower, isdigit, toupper, tolower
#include <fstream> //ofstream
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define rep2(i, s, n) for (int i = (s); i < (int)(n); i++)
std::vector<char> data;
char tmp;
int jd=0;

void solve(){
    rep(i,3){
        if(data.at(i)=='7') {
            jd=1;
        }
    }
    if(jd==0) cout<<"No"<<endl;
    else cout<<"Yes"<<endl;
}

int main(){
    rep(i,3){
        cin>>tmp;
        data.emplace_back(tmp);
    }

    solve();
    return 0;
}
