#include <iostream>

using namespace std;

int main()
{
    int n; cin >> n;
    string ans = "No";

    while (n > 0) {
        int tmp = n % 10;
        n /= 10;
        if (tmp == 7) ans = "Yes";
    }

    cout << ans << endl;

    return 0;
}