#include <iostream>
using namespace std;

int main()
{
    char n[3];
    for (int i = 0; i < 3; i++)
        cin >> n[i];

    bool flag = false;
    for (int i = 0; i < 3; i++) {
        if (n[i] == '7')
            flag = true;
        else
            flag = false;
    }

    if (flag)
        cout << "Yes\n";
    else
        cout << "No\n";
    

    return 0;
}