#include<bits/stdc++.h>
using namespace std;
#define ll long long
int main()
{
	string n;
	bool flag=false;
	for(int i=1;i<=3;i++)
	{
		cin>>n[i];
		if(n[i]==7)
			flag=true;
	}	
	if(flag==true)
		cout<<"Yes";
	else
		cout<<"No";
return 0;
}
