#include <bits/stdc++.h>
using namespace std;
#define rep(i,n); for(long long i = 0;i < (n);i++)
using ll = long long;
using vl = vector<long long>;
using P = pair<long long,long long>;

int main(){
	string n; cin >> n;
	n[0] == '7' || n[1] == '7' || n[2] == '7' ? cout << "Yes" << endl : cout << "No" << endl;
}