#include <bits/stdc++.h>

using namespace std;

string A(int N) {
	while (N) {
		if (N % 10 == 7)
			return "Yes";
		N /= 10;
	}
	return "No";
}

int main() {
	int N;
	cin >> N;
	cout << A(N);
	return 0;
}