#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <typeinfo>
#define rep(i, n) for (int i = 0; i < (n); ++i)
using namespace std;
using ll = long long;
using P = pair<int, int>;

int main()
{
    string s;

    cin >> s;
    bool flag = s[0] == '7' || s[1] == '7' || s[2] == '7';
    cout << (flag ? "Yes" : "No") << endl;
}