#include<stdio.h>
int main(void){
	int number;
	scanf("%d", &number);
  	
  	han_num = number / 100;
  	ten_num = (number - han_num * 100) / 10;
  	one_num = number - (han_num * 100) - (ten_num * 10)
  
  	if (han_num == 7 || ten_num == 7 || one_num == 7){
    	printf("Yes\n");
    } else {
    	printf("No\n")
    }
}
#include<stdio.h>
int main(void){
	int number, han_num, ten_num, one_num;
	scanf("%d", &number);
  	
  	han_num = number / 100;
  	ten_num = (number - han_num * 100) / 10;
  	one_num = number - (han_num * 100) - (ten_num * 10)
  
  	if (han_num == 7 || ten_num == 7 || one_num == 7){
    	printf("Yes\n");
    } else {
    	printf("No\n")
    }
}