#include<stdio.h>
int main()
{
    int i,x;
    scanf("%d",&i);

    if(i>99&&i<1000){

    

    x=(i/10)%10;
    if((i%10)==7||(i/100)==7||x==7)
        printf("Yes\n");
    else printf("No\n");

    }


}
