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



int main(){
	//freopen("output.txt","r",stdin);

	int t;
	cin>>t;

	bool flag = false;

	while(t != 0){
		int x = t % 10;
		t /= 10;
		if(x == 7)
			flag = true;
	}

	if(flag)
		cout<<"Yes"<<endl;
	else
		cout<<"No"<<endl;
}