#include <iostream>
#include <iomanip>
#include <string>
#include <vector>
#include <algorithm>
#include <map>
#include <cmath>
#include <queue>
#include <set>

#define rep(i, n) for (int i = 0; i < (n); i++)

using namespace std;
typedef long long int ll;
const int INF = 1000000000;

int main()
{
    int n;
    cin >> n;
    bool ans = false;
    rep(i, 3) {
        if (n % 10 == 7) ans = true;
        n = n / 10;
    }
    if (ans) cout << "Yes" << endl;
    else cout << "No" << endl;
    return 0;
}