#define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define dunk(n) cout << n << endl
#define all(v) v.begin(), v.end()


int main() {
    string s;
    cin >> s;
    bool judge=false;
    rep(i,3) if(s.at(i)=='7') judge = true;
    if(judge) dunk("Yes");
    else dunk("No");
}

