#include <bits/stdc++.h>
#define rep(i,n) for (int i=0; i<(n); i++)
using namespace std;
using ll = long long;

int main()
{
    string N;
    cin >> N;

    bool ans = false;

    if (N[0] == '7') ans = true;
    if (N[1] == '7') ans = true;
    if (N[2] == '7') ans = true;

    cout << ((ans) ? "Yes" : "No") << endl;
}
