
#include <stdio.h>
int main()
{
    int n,s,count=0;
    scanf("%d",&n);
    while(n>0)
    {
        s=n%10;
        if(s==7){
            count++;
          break;
        }
        n/=10;
    }
    if (count>0)
    printf("Yes\n");
    else
    printf("No\n");
    return 0;
}