#include <iostream>

using namespace std;

int main()
{
    int a,f=0;
    cin >> a;
    while(a)
    {
        if(a%10 == 7)
            f = 1;
        a = a/10;
    }
    if(f == 1)
        cout << "Yes" << endl;
    else
        cout << "No" << endl;
    return 0;
}