#include <iostream>

using namespace std;

int n, ok;

int main()
{
    cin >> n;
    if(n % 10 == 7)
        ok = 1;
    if((n/10) % 10 == 7)
        ok = 1;
    if(n / 100 == 7)
        ok = 1;
    if(ok == 1)
        cout << "Yes";
    else
        cout << "No";
    return 0;
}
