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

char a[5];

int main()
{
    for(int i=1;i<=3;i++)
    {
        scanf("%c",&a[i]);
        if(a[i]=='7')
        {
            printf("Yes");
            return 0;
        }
    }
    printf("No");
    return 0;
}