
#include <iostream>

using namespace std;

int N;


int main()
{

	cin >> N;

	bool ans = false;

	int n = N;
	for (int i = 0; i < 3 && !ans; i++) {
		int a = n % 10;
		if (a == 7) { ans = true; }
		n /= 10;
	}



	cout << (ans?"Yes":"No") << endl;

	return 0;
}
