#include <bits/stdc++.h>

using namespace std;
typedef long long ll;
const int INF = 0x3f3f3f3f;
const int maxn = 110000;
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout << setiosflags(ios::fixed) << setprecision(12);
    string str;
    cin >> str;
    int len = str.size();
    int flag = 0;
    for (int i = 0; i < len; i++)
    {
        if (str[i] == '7')
        {
            flag = 1;
            break;
        }
    }
    if (flag)
        cout << "Yes\n";
    else
        cout << "No\n";
    return 0;
}