#include<bits/stdc++.h>
#define ll long long
using namespace std;
ll read()
{
    char ch=getchar();
    ll x=0,f=1;
    while(ch<'0' || ch>'9')
    {
        if(ch=='-')
            f=-1;
        ch=getchar();
    }
    while(ch>='0' && ch<='9')
    {
        x=x*10+ch-'0';
        ch=getchar();
    }
    return x*f;
}


int main()
{
    string s;
    cin>>s;
    if(s[0]=='7'||s[1]=='7'||s[2]=='7')
        printf("Yes\n");
    else
        printf("No\n");
    return 0;
}
