#include<bits/stdc++.h>
using namespace std;
long long arr[1000000];
int main()
{
    ios_base::sync_with_stdio(false); 
    cin.tie(NULL);   
    string s;
    cin>>s;
    if (s[0]=='7' ||s[1]=='7' ||s[2]=='7'  )
    {
    	cout<<"Yes"<<endl;
	}
	else
	{
		cout<<"No"<<endl;
	}
}