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

return 0;

}