#include<bits/stdc++.h>
using namespace std;
int main()
{
	int a,b,c;
	cin>>a;
	b=a%10;
	a=a/10;
	c=a%10;
	a=a/10;
	if(a==7||b==7||c==7)
	{
		cout<<"Yes";
		return 0;
	}
	else
	{
		cout<<"No";
		return 0;
	} 
    return 0;
}
