#include<bits/stdc++.h>
using namespace std;
int main()
{
	int n;
	cin>>n;
	int a=n;
	int flag=0;
  	while(n!=0)
    {
      int rem=n%10;
      if(rem==7)
      {
        cout<<"Yes";
        flag=1;
		exit(1);
      }
      n=n/10;
    }
    if(flag==0)
    cout<<"No";
}