#include <bits/stdc++.h>
using namespace std;
using ll = long long;

int main(int argc, char **argv)
{
	int n; cin >> n;
	string str(to_string(n));
	for (int i = 0; i < 3; ++i)
	{
		if (str[i] == '7')
		{
			std::cout << "Yes"<< std::endl;
			return 0;
		}
	}
	std::cout << "No"<< std::endl;
}
