#include<iostream>
using namespace std;
int main()
{
    int num,check=7;
    while(cin>>num)
    {
        if(num%10==check)
        {
            cout<<"Yes"<<endl;
        }
        else if(num%10!=check)
        {
            cout<<"No"<<endl;
        }
    }
}