#include <bits/stdc++.h>
int main(void)
{
	char arr[3];
	
	{
		scanf("%s", arr);

	}
	int flag;
	if(arr[0] == '7' || arr[1] == '7' || arr[2] == '7')
		printf("Yes\n");
	else
		printf("No\n");
	return 0;
	
}