#include<iostream>
using namespace std;

int main(void) {
	char N[3];
	int flag = 0;
	for (int i = 0; i < 3; i++) {
		cin >> N[i];
		if (N[i] == '7') flag = 1;
	}
	
	if (flag) cout << "Yes" << endl;
	else cout << "No"<< endl;
	return 0;
}