#include<stdio.h>

int main()
{
    int a, b, m= 0, n= 0, k= 0;
    scanf("%d", &a);

    while(k<3) {
        b= a%10;
        a= a/10;
        if(b == 7) {
            m +=1;
        }
        else
            n +=1;
    k++;
    }
    if(m != 0)
    printf("Yes\n");
  else  printf("No\n");
    return 0;

}