#include <iostream>
using namespace std;

int main () {
	char str[4];
	bool flag = false;
	cin >> str;
	for (int i=0; i<3; i++)
		flag = flag || str[i]=='7';
	if (flag)
		cout << "Yes" << endl;
	else
		cout << "No" << endl;
	return 0;
}