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

typedef pair<int,int> P;
const int INF = 500000000;

int main(){
    string s;
    cin >> s;
    if (s.find("7") != string::npos){
        cout << "Yes" << "\n";
    }else{
        cout << "No" << "\n";
    }
}