#include <stdio.h>

int main()
{
    int N;

    scanf("%d", &N);

    if(N % 10 == 7){

    printf("Yes\n %d contain the digit 7.");

    }
    else printf("No\n %d does not contain the digit 7.");

    return 0;
}
