#include <iostream>
using namespace std;
int main(){
	int n;
	cin >> n;
	int k3,k2,k1;
	k3 = n / 100;
	k2 = (n -k3 * 100) / 10;
	k1 = n -k3 * 100 -k2 * 10;
	if(k1 == 7 || k2 == 7 || k3 == 7){
		cout << "Yes";
		return 0;
	}
	cout << "No";

	return 0;
}
