#include <bits/stdc++.h>

using std::cout;
using std::cin;
using std::endl;

int main() {
	char a, b, c;
	cin >> a >> b >> c;
	if (a == '7' || b == '7' || c == '7')
	{
		cout << "Yes";
	}
	else
	{
		cout << "No";
	}
	cout << endl;
}