#include<stdio.h>
int main()
{
	int N;
	scanf ("%d", &N);
		if (N%10==7)
		{
			printf("Yes");
		}else if (N/10 ==17 || N/10 ==27 || N/10 ==37 || N/10 ==47 || N/10 ==57 || N/10 ==67 || N/10 ==77 || N/10 ==87 || N/10 ==97)
		{
			printf("Yes");
		}else if(N/100 ==7)
		{
			printf("Yes");
		}else 
		{
			printf("No");
		}
	
	return 0;
}