#include<bits/stdc++.h>
using namespace std;


int main()
{

    int n;
    cin>>n;
    int x=3;
    while(x--)
    {
	int y=n%10;
	if(y==7)
	{
	    cout<<"Yes";
	    return 0;
	}
	n/=10;
    }
    cout<<"No";
    return 0;
}
