#include<bits/stdc++.h>
using namespace std;
int main()
{
int n,maxi=-1e9;
cin>>n;
string maxiname="";
string name;
int nameans=0;
int zongshu=0;
int fenshu1,fenshu2,cishu;
char c1,c2;
for(int i=1;i<=n;i++)
{
cin>>name>>fenshu1>>fenshu2>>c1>>c2>>cishu;
if(fenshu1>80&&cishu>=1) nameans+=8000;
else if(fenshu1>85&&fenshu2>80) nameans+=4000;
else if(fenshu1>90) nameans+=2000;
else if(fenshu1>85&&c2=='Y') nameans+=1000;
else if(fenshu2>80&&c1=='Y') nameans+=850;
zongshu+=nameans;
if(nameans>maxi)
{
maxi=nameans;
maxiname=name;
}
nameans=0;
}
cout<<maxiname<<"\n"<<maxi<<"\n"<<zongshu;
return 0;
}