#include <bits/stdc++.h>
using namespace std;

#define print(x) cerr << #x << " = " << (x) << " (L" << __LINE__ << ")" << " " << __FILE__ << endl; 
int main()
{
    string S;
    cin >> S;
    
    if (S[0] - '0' == 7 || S[1] - '0' == 7 || S[2] - '0' == 7){
        cout << "Yes";
    } else {
        cout << "No";
    }
    return 0;
}

