int main(){
	int n,rem,got=0;
  	scanf("%d",&n);
  
  	while(n!=0){
      rem=n%10;
      n=n/10;
      
      if(rem==7){
      	got=1;
        break;
      }
    }
  
  	if(got)
      	printf("Yes\n");
  	else
      	printf("No\n");
}