#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define all(v) (v).begin(),(v).end()
#define out(a) cout << (a) << endl
using namespace std;
using ll = long long;
int main(){
    string n;
    cin >> n;
    if(n[0] == '7' || n[1] == '7' || n[2] == '7') out("Yes");
    else out("No");
}