#include <iostream>

using namespace std;

int main(int argc, const char *argv[])
{
    string s;
    cin >> s;

    bool flag = false;
    for (int i = 0; i < len(s); i++)
    {
        if (s[0] == '7')
        {
            flag = true;
            break;
        }
    }

    if (flag)
    {
        cout << "Yes" << endl;
    }
    else
    {
        cout << "No" << endl;
    }
}