#include<bits/stdc++.h>
using namespace std;
int main()
{
 int n;
 cin>>n;
 int f=0;
 while(n)
 {
 	int d=n%10;
 	n/=10;
 	if(d==7)
 	f=1;
 }
 if(f==1)
 cout<<"Yes"<<endl;
 else
 cout<<"No"<<endl;
 return 0;
}
