#include<bits/stdc++.h>
using namespace std;

using i32 = int_fast32_t;
using i64 = int_fast64_t;

int main() {
    string n;
    cin >> n;
    cout << (n[0] == '7' || n[1] == '7' || n[2] == '7' ? "Yes" : "No") << endl;
}
