(function (input) {
    var inputs = input.replace(/\r/g, '').split("\n"),
        index = 0,
        salesData = [],
        exist;

    while(inputs[index] !== '0') {

        salesData = [];
        exist = false;
        n = parseInt(inputs[index++]);

        for(i = index; i < n + index; i++) {

            datas = inputs[i].split(' ');
            num = parseInt(datas[0]);
            sales = parseInt(datas[1]) * parseInt(datas[2]);

            for ( var j = 0, len = salesData.length; j < len; j++ ) {
                // 既に入力されている社員の場合
                if ( salesData[j].num === num ) {
                    salesData[j].sales += sales;
                    break;
                }
            }
            // 入力されていなかった場合、入力値をその社員の初期値とする
            if ( j >= len ) {
                salesData.push({
                    num: num,
                    sales: sales
                });
            }
        }

        salesData.forEach(function(employee) {
            if(employee.sales >= 1000000) {
                console.log(employee.num);
                exist = true;
            }
        });

        if(!exist) {
            console.log('NA');
        }

        index += n;
    }
})(require("fs").readFileSync("/dev/stdin", "utf8"));