#include <bits/stdc++.h>
int main(void) {
  int i, j, k, l, N, num, point, data, dec[4000], sum;
  while (1) {
    scanf("%d", &N);
    j = 0;
    if (N == 0) {
      break;
    }
    for (i = 0; i < N; i++) {
      scanf("%d %d %d", &num, &point, &data);
      sum = data * point;
      l = j;
      if (1000000 <= sum) {
        if (j == 0) {
          dec[j] = num;
          j++;
        } else {
          for (k = 0; k <= l; k++) {
            if (k == j) {
              dec[j] = num;
              j++;
            } else {
              if (dec[k] == num) {
                break;
              }
            }
          }
        }
      }
    }
    if (j == 0) {
      printf("NA\n");
    } else {
      for (k = 0; k < j; k++) {
        printf("%d\n", dec[k]);
      }
    }
  }
  return 0;
}
