#include<stdio.h>
int main()
{
	int i,n;
	int tag=0;
	int flag=0;
	int t;
	__int64 p,q;
	__int64 id[4001];
	int ord[4001];
	for(i=0;i<4001;i++)
		id[i]=0;

	while(scanf("%d",&n)&&n!=0)
	{
		for(i=0;i<n;i++)
		{
			scanf("%d%I64d%I64d",&t,&p,&q);
			id[t]+=p*q;
			ord[flag++]=t;
		}
		for(i=0;i<flag;i++)
		{
			if(id[ord[i]]>=1000000)
			{
				printf("%I64d\n",ord[i]);
				id[ord[i]]=0;
				tag++;
			}
		}
		if(tag==0)
			printf("NA\n");
		
		tag=0;
	}
	return 0;
}