There is data on sales of your company. Your task is to write a program which identifies good workers.

The program should read a list of data where each item includes the employee ID i, the amount of sales q and the corresponding unit price p. Then, the program should print IDs of employees whose total sales proceeds (i.e. sum of p × q) is greater than or equal to 1,000,000 in the order of inputting. If there is no such employees, the program should print "NA". You can suppose that n < 4000, and each employee has an unique ID. The unit price p is less than or equal to 1,000,000 and the amount of sales q is less than or equal to 100,000.



Input

The input consists of several datasets. The input ends with a line including a single 0. Each dataset consists of:


n (the number of data in the list)
i p q
i p q
:
:
i p q


Output

For each dataset, print a list of employee IDs or a text "NA"

Example

Input

4
1001 2000 520
1002 1800 450
1003 1600 625
1001 200 1220
2
1001 100 3
1005 1000 100
2
2013 5000 100
2013 5000 100
0


Output

1001
1003
NA
2013
#include <bits/stdc++.h>
int main(void) {
  int i, n, e[1000];
  long int p[1000], q[1000];
  int out[50][4000] = {0};
  int cnt = 0;
  do {
    do {
      scanf("%d", &n);
    } while (n > 1000 || n < 0);
    for (i = 0; i < n; i++) {
      do {
        scanf("%d %ld %ld", &e[i], &p[i], &q[i]);
      } while ((e[i] < 1 || e[i] > 4000) || (p[i] < 0 || p[i] > 1000000) ||
               (q[i] < 0 || q[i] > 1000000));
      if (p[i] * q[i] >= 1000000) {
        out[cnt][i] = e[i];
      }
    }
    cnt++;
  } while (n > 0 || cnt > 50);
  printf("\n");
  for (i = 0; i < cnt - 1; i++) {
    if (out[i][0] == 0) {
      printf("NA\n");
      fflush(stdout);
    } else {
      int j = 0;
      while (out[i][j]) {
        printf("%d ", out[i][j]);
        fflush(stdout);
        j++;
      }
      printf("\n");
    }
  }
  return 0;
}
