#include<stdio.h>
long long i, j, n, m, k;

int main() {
	while (scanf("%lld", &k) != EOF) {
		bool flag = false;
		while (k) {
			if (k % 10 == 7) {
				flag = !flag;
				break;
			}
			k /= 10;
		}
		printf((flag ? "Yes\n" : "No\n"));
	}
}