#include <iostream>
#include <string>
#include <math.h>
#include <vector>

using namespace std;

int main() {

	char M[3];
	int i;
	
	for (i = 0; i < 3; i++) {
		cin >> M[i];
	}
	for (i = 0; i < 3; i++) {
		if (M[i] == '7') {
			cout << "Yes";
			return 0;
		}
	}
	cout << "No";

	return 0;
}