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

int n;

int main() {
	cin >> n;
	bool isYes = 0;
	while (n) {
		if (n % 10 == 7) {
			isYes = 1;
			break;
		}
		n /= 10;
	}
	cout << (isYes ? "Yes" : "No") << endl;
}
