#include <iostream>
#include <string>
//#include <fstream>
using namespace std;
//ifstream f("date.in");
//#define cin f
string s;int x,p;
int main()
{
    getline(cin,s);
    cin>>x;
    if(s=="Single")
    {
        if (x<=9075) p=100;
        else if (x<=36900) p=150;
        else if (x<=89350) p=250;
        else if (x<=186350) p=280;
        else if (x<=405100) p=330;
        else if (x<=406750) p=350;
        else p=396;
    }
    else if (s=="Married joint filer" || s=="Surviving spouse")
    {
         if (x<=18150) p=100;
        else if (x<=73800) p=150;
        else if (x<=148850) p=250;
        else if (x<=226850) p=280;
        else if (x<=405100) p=330;
        else if (x<=457600) p=350;
        else p=396;
    }
    else if (s=="Heads of household")
    {
         if (x<=12950) p=100;
        else if (x<=49400 ) p=150;
        else if (x<=127550) p=250;
        else if (x<=206600) p=280;
        else if (x<=405100) p=330;
        else if (x<=432200) p=350;
        else p=396;
    }
    else{
    if (x<=9075) p=100;
        else if (x<=36900  ) p=150;
        else if (x<=74425 ) p=250;
        else if (x<=113425 ) p=280;
        else if (x<=202550) p=330;
        else if (x<=228800 ) p=350;
        else p=396;
    }
    cout<<(int)(x*p/1000);
    //cout<<p;
    return 0;
}