#include <cstdio>
#include <cstring>
#include <algorithm>
#include <vector>
#include <queue>
#include <map>
#include <iterator>
//#include <cmath>
#include <set>
#include <deque> 
#include <string>


using namespace std;


int main()
{
	int n;
	scanf("%d", &n);
	while (n > 0) {
		int r = n % 10;
		if (r == 7) {
			printf("Yes\n");
			return 0;
		}
		n = n / 10;
	}
	
	printf("No\n");
	
	return 0;
}