#include<stdio.h>

int main()
{
    char c[4];
    int i,count=0;
    scanf("%s",c);
    
    for(i=0; i<3; i++) {
    
        if(c[i]=='7') {
        
            printf("Yes");
            count++;
            break;
        }
      
    }
    if(count==0)printf("No");

    return 0;
}