#include<stdio.h>
#include<stdlib.h>
#include<string.h>
int main() {
	char n[4];
	gets(n);
	int p= 0;
	for (int i = 0; i < 3; i++)
		if (n[i] == '7')
			p= 1;
	if (p)
		printf("Yes\n");
	else
		printf("No\n");
	
}