#include<stdio.h>

int main()

{
    int n, temp, count=0 ;

    scanf("%d", &n) ;
    temp=n;

    while(n!=0)
    {
        temp=n%10 ;
        n=n/10 ;
        if(temp==7)
        {
            printf("Yes\n") ;
            count++ ;
        }
        else if(count==0)
        {
            printf("No\n") ;
            break ;
        }
    }
}