#include<cstdio>
using namespace std;
int x,tax; char S[105];
int main()
{
	//freopen("test.in","r",stdin);
	//freopen("test.out","w",stdout);
	fgets(S,105,stdin); scanf("%d",&x);
	if(S[0]=='S' && S[1]=='i')
	{
	    if(x<=9075) tax=100;
	    else if(x<=36900) tax=150;
	    else if(x<=89350) tax=250;
	    else if(x<=186350) tax=280;
	    else if(x<=405100) tax=330;
	    else if(x<=406750) tax=350;
	    else tax=396;
	}
	else if((S[0]=='M' && S[8]=='j') || (S[0]=='S'))
	{
	    if(x<=18150) tax=100;
	    else if(x<=73800) tax=150;
	    else if(x<=148850) tax=250;
	    else if(x<=226850) tax=280;
	    else if(x<=405100) tax=330;
	    else if(x<=457600) tax=350;
	    else tax=396;
	}
	else if(S[0]=='H')
	{
	    if(x<=12950) tax=100;
	    else if(x<=49400) tax=150;
	    else if(x<=127550) tax=250;
	    else if(x<=206600) tax=280;
	    else if(x<=405100) tax=330;
	    else if(x<=432200) tax=350;
	    else tax=396;
	}
	else
	{
	    if(x<=9075) tax=100;
	    else if(x<=36900) tax=150;
	    else if(x<=74425) tax=250;
	    else if(x<=113425) tax=280;
	    else if(x<=202550) tax=330;
	    else if(x<=228800) tax=350;
	    else tax=396;
	}
	printf("%d\n",x*tax/1000);
	return 0;
}