#include<iostream>
using namespace std;
int main()
{
    int N,i,j,k;
    cin>>N;
    i=N%10;
    N=N/10;
    j=N%10;
    N=N/10;
    k=N%10;
    if(i==7 || j==7 || k==7)
    {
        cout<<"Yes"<<endl;
    }
    else
    {
        cout<<"No"<<endl;
    }
    return 0;
}
