#include<iostream>
#include<vector>
using namespace std;
#define rep(i,n) for(int i=0;i<(n);++i)
using ll = long long;
using P = pair<int, int>;
#include<algorithm>
#include<math.h>
#include<map>
#include<queue>

int main() {
	int s;
	cin >> s;
	int a[3];
	rep(i, 3) {
		s %= 10;
		a[i] = s;
		s / 10;
	}
	rep(i, 3) {
		if (a[i] == 7) {
			cout << "Yes";
			return 0;
		}
	}
	cout << "No";
	return 0;
}