#include<bits/stdc++.h>
using namespace std;
typedef long long int ll;
int main()
{

string s;
cin>>s;
for (int i = 0; i < s.size(); ++i)
{
	if (s[i]=='7')
	{
cout<<"Yes\n";
return 0;		/* code */
	}
}
cout<<"No\n";
return 0;
}