#include <iostream>

int main(){
	int x;
	std::cin >> x;
	bool lucky = false;
	while(x > 0){
		if((x % 10)==7){
			std::cout << "Yes" << std::endl;
			lucky = true;
		}

		x /= 10;
	}
	if(!lucky){
		std::cout << "No" << std::endl;
	}
}
