#include <iostream>
using namespace std;

string N;
int cnt = 0;

int main() {
	cin >> N;
	for (int i = 0; i < N.length(); i ++) {
		if (N[0] == "7") {
			cnt ++;
		}
	}

	if (cnt != 0) {
		printf("Yes");
	}
	else {
		printf("No");
	}
}