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

int main() {
    int N; cin >> N;
    if (N/100 == 7 || (N%100)/10 == 7 || (N%10) == 7) cout << "Yes" << endl;
    else cout << "No" << endl;
    return 0;
}