#include <stdio.h>

int main(void)
{
  	int i;
  	char moji[4];
  
  	scanf("%s",moji);
  	for(i=0; i<3; i++)
    
      	if(moji[i]=='7')
        {
        printf("Yes");
        return 0;
      

    }
    printf("No");
  
}
