#include <stdio.h>

int main()
{
	int N = 0;
	scanf("%d", &N);

    int a = N/100;              //百の位
    int b = N/10 - a*10;        //十の位
    int c = N - a*100 - b*10;   //一の位

    if((7 == a) || (7 == b) || (7 == c)){
        printf("Yes\n");
    }else{
        printf("No\n");
    }

	return 0;
}