#include<stdio.h>
#include<string.h>
int main()
{
	int i;
    char s[10];
	scanf("%s",s);
	for(i=0;i<strlen(s);i++)
    {
		if(s[i]=='7')
        {
			printf("Yes\n");
			return 0;
		}
	}
	printf("No\n");
	return 0;
}
