#include <iostream>
using namespace std;
int main() {
	int n;
	cin >> n;
	int j = 0;
	while (n > 0) {
		if (n % 10 == 7) {
			cout << "Yes" << endl;
			j = 1;
			break;
		}
		else {
			n /= 10;
		}
	}
	if (j == 0) {
		cout << "No" << endl;
	}
}