#include <iostream>

using namespace std;

int main()
{
    int n;
    string s="No";
    cin >> n;
    while (n!=0)
    {
        if ((n%10)==7) { s="Yes";break;}
        n/=10;
    }
    cout << s;
    return 0;
}
