#include<stdio.h>
int main()
{
int n,i,e[100],d[100],t[100],r[100]={0},m=0,m_,s=0;
char name[100][20],c[100],w[100];
scanf("%d",&n);
getchar();
for(i=0;i<n;i++)
{
scanf("%s",&name[i]);
scanf("%d %d %c %c %d",&e[i],&d[i],&c[i],&w[i],&t[i]);
}
for(i=0;i<n;i++)
{
if(e[i]>80&&t[i]>=1)
r[i]+=8000;
if(e[i]>85&&d[i]>80)
r[i]+=4000;
if(e[i]>90)
r[i]+=2000;
if(e[i]>85&&w[i]=='Y')
r[i]+=1000;
if(d[i]>80&&c[i]=='Y')
r[i]+=850;
}
for(i=0;i<n;i++)
{
if(r[i]>m)
{
m=r[i];
m_=i;
}
s+=r[i];
}
printf("%s\n%d\n%d\n",name[m_],m,s);
return 0;
}

@飞翔的东波