#include <bits/stdc++.h>
int main() {
  int i, n;
  int tag = 0;
  int flag = 0;
  int t;
  long long p, q;
  long long 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%lld%lld", &t, &p, &q);
      id[t] += p * q;
      ord[flag++] = t;
    }
    for (i = 0; i < flag; i++) {
      if (id[ord[i]] >= 1000000) {
        printf("%lld\n", ord[i]);
        id[ord[i]] = 0;
        tag++;
      }
    }
    if (tag == 0) printf("NA\n");
    tag = 0;
  }
  return 0;
}
