#include <stdio.h>

void main()
{
  	char moji[3],o;
  	int i;
  
  	scanf("%s",moji);
  	for(i=0; moji[i]!='7'; i++)
    {
      	if(moji[i]==7)
        printf("Yes");
        else
  		printf("No");
    }

}
