include<stdio.h>
int main()
{
    int i,t;
    char n[4];
    scanf("%s",n);
    for (i = 0; i < 3; i++)
    {
        if(n[0]=='7'||n[1]=='7'||n[2]=='7'){
            printf("Yes\n");
            return 0;
        }
    }
      printf("NO\n");  
    
}