#include<iostream>
#include<string>

std::string n;

int main() {

	std::cin >> n;

	if (n[0] == '7' || n[1] == '7' || n[2] == '7')
		std::cout << "Yes" << std::endl;
	else
		std::cout << "No" << std::endl;

	return 0;
}