#include<iostream>
using namespace std;
int main(){
    int sum = 0,max = 0,n,i,j,solomoney;
    char tempname[100];
    char maxname[100];
    char temp;
    int tempsum,maxsum;
    int lastresult,classresult,paper;
    int control = 0;
    char stuganbu,weststu;
    cin>>n;
    getchar();
    //getchar();
    for(i = 0;i<n;i++){
        lastresult = 0;
        classresult = 0;
        paper = 0;
        control = 0;
        solomoney = 0;
        tempsum = 0;
        /*for(j = 0;j<99;j++){
        	tempname[j] = '\0';
		}*/
        while(~scanf("%c",&temp)){
            if(temp == '\n'){
                break;
            }
            if(temp == ' '){
                control++;
                continue;
            }
            if(control == 0){
                tempname[tempsum++] = temp;
            }else if(control == 1){
                lastresult = lastresult*10 + temp - 48;
            }else if(control == 2){
                classresult = classresult*10 + temp -48;
            }else if(control == 3){
                stuganbu = temp;
            }else if(control == 4){
                weststu = temp;
            }else if(control == 5){
                paper = paper*10 + temp - 48;
            }
        }
        //院士奖学金
        if(lastresult>80&&paper>=1){
            solomoney += 8000;
        }
        //五四奖学金
        if(lastresult>85&&classresult>80){
            solomoney += 4000;
        }
        //成绩优秀奖
        if(lastresult>90){
            solomoney += 2000;        
        }
        //西部奖学金
        if(lastresult>85&&weststu == 'Y'){
            solomoney += 1000;
        }
        //班级贡献奖
        if(classresult>80&&stuganbu == 'Y'){
            solomoney += 850;
        }
        sum += solomoney;
        if(max<solomoney){
            max = solomoney;
            for(j = 0;j<tempsum;j++){
                maxname[j] = tempname[j];
            }
            maxsum = tempsum;
        }
    }
    for(j = 0;j<maxsum;j++){
        cout<<maxname[j];
    }
    cout<<endl;
    cout<<max<<endl;
    cout<<sum;
    return 0;
}