#include<bits/stdc++.h>
using namespace std;
int main()
{
	ios_base::sync_with_stdio(false); 
    cin.tie(NULL);
    int n;
    cin>>n;
    while(n>0)
    {
    	if(n%10==7)
    	{
    		cout<<"Yes";
    		break;
    	}
    	n=n/10;
    } 
    if(n==0)
    	cout<<"No";
}