#include <bits/stdc++.h>
#define rep(i,n) for (int i=0;i < n; ++i)
using namespace std;
const int INF = 2147483647;
using ll = long long;

int main() {
    string s;
    cin >> s;
    int ans = false;
    if (s.at(0)=='7')
        ans =1;
    if (s.at(1)=='7')
        ans =1;
    if (s.at(2)=='7')
        ans =1;
    if(ans)
        cout << "Yes" << endl;
    else
        cout << "No" << endl;

    return 0;
}

