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