#include <bits/stdc++.h>
long long int sales[4000];
void init();
void setData(int cnt);
void output();
int main(int argc, const char *argv[]) {
  int ch = getchar();
  while (ch != '0') {
    setData(ch - '0');
    output();
    ch = getchar();
  }
  return 0;
}
void init() {
  int i;
  for (i = 0; i < 4000; i++) sales[i] = 0;
}
void setData(int cnt) {
  int i, mem;
  long long int price, set;
  init();
  for (i = 0; i < cnt; i++) {
    scanf("%d%lld%lld", &mem, &price, &set);
    sales[mem - 1] += price * set;
  }
}
void output() {
  int i, flag = 0;
  for (i = 0; i < 4000; i++) {
    if (sales[i] >= 1000000) {
      flag = 1;
      printf("%d\n", (i + 1));
    }
  }
  if (flag) printf("NA\n");
}
