#include <iostream>
#include <utility>
#include <string>
#include <vector>
#include <map>
using namespace std;


map<string,int> entry_nr = {	
    {"Single",1},	
    {"Married joint filer",2},
    {"Surviving spouse",2},
    {"Head of household",3},	
    {"Married filing separately",4}
};

vector< vector<double> > data = {
    {.10,	9075, 	 18150,   12950,    9075   }, 
    {.15,	36900,	 73800,	  49400,    36900  },
    {.25,	89350,	 148850,  127550,	74425  },
    {.28,	186350,	 226850,  206600,	113425 },
    {.33,	405100,	 405100,  405100,	202550 },
    {.35,	406750,	 457600,  432200,	228800 },
    {.396,  500000,	 500000,  500000,	500000 } 
};

int main()
{
    string s;
    double d;
    
    getline(cin,s);
    cin>>d;

    int ind = entry_nr[s];

    int i = data.size()-1;
    while(i>0 && data[i-1][ind]>d) --i;

    

    cout<<(int) (d*data[i][0])<<'\n';   
}