#include<cstdio>
using namespace std;
int n,t,x;
char s[1000];
int main()
{
    //freopen("p1.in","r",stdin);
    //freopen("p1.out","w",stdout);
    gets(s);
    if(s[0]=='S') x=1;
    else if(s[0]=='H') x=3;
    else if(s[9]=='j') x=2;
    else x=4;
    scanf("%d",&n);
    if(x==1)
    {
        if(n<=9075) t=100;
        else if(n<36900) t=150;
        else if(n<89350) t=250;
        else if(n<186350) t=280;
        else if(n<405100) t=330;
        else if(n<406750) t=350;
        else t=396;

    }
    else if(x==2)
    {
        if(n<=9075*2) t=100;
        else if(n<36900*2) t=150;
        else if(n<148850) t=250;
        else if(n<226850) t=280;
        else if(n<405100) t=330;
        else if(n<457600) t=350;
        else t=396;
    }
    else if(x==3)
    {
        if(n<=12950) t=100;
        else if(n<49400) t=150;
        else if(n<127550) t=250;
        else if(n<206600) t=280;
        else if(n<405100) t=330;
        else if(n<432200) t=350;
        else t=396;
    }
    else
    {
        if(n<=9075) t=100;
        else if(n<36900) t=150;
        else if(n<74425) t=250;
        else if(n<113425) t=280;
        else if(n<202550) t=330;
        else if(n<228800) t=350;
        else t=396;
    }
    printf("%d",n*t/1000);
    return 0;
}