#include <stdio.h>
#include <string.h>

typedef struct _issuer{
	char name[32];
	int bs;
	double cost;
}ISS;

int main(){
	ISS arr[2000];
	char code[16], buf[16];
	int counter, flag2=0;
	while(1){
		scanf("%d%s",&counter, code);
		if(!counter && !strcmp(code, "END"))
			break;
		int i=0;
		for(;i<counter;i++){
			scanf("%s%s%lf", arr[i].name, buf, &arr[i].cost);
			if(!strcmp(buf, "buy"))
				arr[i].bs=1;
			else arr[i].bs=0;
		}
		
/*		for(int n=0; n<counter;n++)
			printf("\n %s %d %.3lf \n", arr[n].name, arr[n].bs, arr[n].cost);
		break;//*/

		if(flag2++)
			printf("\n");
		printf("%s", code);
		i=0;
		int flag=0;
//printf("\n  %d%d \n", i, counter);
		for(;i<counter;i++){
			printf("\n%s:",arr[i].name);
			if(arr[i].bs){
				// buy
				int j=0;
				flag=0;
				while(j<counter){
					if(!arr[j].bs){
						if(arr[i].cost>=arr[j].cost){
							printf(" %s",arr[j].name);
							flag=1;
						}
					}
					j++;
				}
				if(!flag)
					printf(" NO-ONE");
//				printf("\n");
			}else{
				// sell
				int j=0;
				flag=0;
				while(j<counter){
					if(arr[j].bs){
						if(arr[i].cost<=arr[j].cost){
							printf(" %s",arr[j].name);
							flag=1;
						}
					}
					j++;
				}
				if(!flag)
					printf(" NO-ONE");
//				printf("\n");
			}
		}
	}
	return 0;
}