#include<bits/stdc++.h>
int main()
{
int x,b;
char c;
scanf("%d %c",&x,&c);
if(x>=1000)
{
if(c=='n')
{
b=8+4*((x-1000)/500);
if((x-1000)%500!=0)
{
b=b+4;
}
printf("%d\n",b);
}
else(c=='y');
{
b=13+4*((x-1000)/500);
if((x-1000)%500!=0)
{
b=b+4;
}
printf("%d\n",b);
}
}
else
{
if(c=='n')
{
b=8;
printf("%d\n",b);
}
else(c=='y');
{
b=13;
printf("%d\n",b);
}
}
return 0;
}