#include <cstdio>
#include <cstring>
char s[100];
using namespace std;
long long rez;
int val;
void rez_s(double val)
{
    if(val>=1&&val<9075)
        rez=val/10;
    else
        if(val>9075&&val<36900)
            rez=(val*15)/100;
        else
            if(val>36900&&val<89350)
                rez=val/4;
            else
                if(val>89350&&val<186350)
                    rez=(val*28)/100;
                else
                    if(val>186350&&val<405100)
                        rez=(val*33)/100;
                    else
                        if(val>405100&&val<406750)
                            rez=(val*35)/100;
                        else
                            rez=(val*396)/1000;
    printf("%lld\n", rez);
}
void rez_mjf(double val)
{
    if(val>=1&&val<18150)
        rez=val/10;
    else
        if(val>18150&&val<73800)
            rez=(val*15)/100;
        else
            if(val>73800&&val<148850)
                rez=val/4;
            else
                if(val>148850&&val<226850)
                    rez=(val*28)/100;
                else
                    if(val>226850&&val<405100)
                        rez=(val*33)/100;
                    else
                        if(val>405100&&val<457600)
                            rez=(val*35)/100;
                        else
                            rez=(val*396)/1000;
    printf("%lld\n", rez);
}
void rez_mfs(double val)
{
    if(val>=1&&val<9075)
        rez=val/10;
    else
        if(val>9075&&val<36900)
            rez=(val*15)/100;
        else
            if(val>36900&&val<74425)
                rez=val/4;
            else
                if(val>74425&&val<113425)
                    rez=(val*28)/100;
                else
                    if(val>113425&&val<202550)
                        rez=(val*33)/100;
                    else
                        if(val>202550&&val<228800)
                            rez=(val*35)/100;
                        else
                            rez=(val*396)/1000;
    printf("%lld\n", rez);
}
void rez_hoh(double val)
{
    if(val>=1&&val<12950)
        rez=val/10;
    else
        if(val>12950&&val<49400)
            rez=(val*15)/100;
        else
            if(val>49400&&val<127550)
                rez=val/4;
            else
                if(val>127550&&val<206600)
                    rez=(val*28)/100;
                else
                    if(val>206600&&val<405100)
                        rez=(val*33)/100;
                    else
                        if(val>405100&&val<432200)
                            rez=(val*35)/100;
                        else
                            rez=(val*396)/1000;
    printf("%lld\n", rez);
}
int main()
{
    gets(s);
    scanf("%d", &val);
    if(strcmp(s, "Single")==0)
        rez_s(val);
    else
        if(strcmp(s, "Married joint filers")==0||strcmp(s,"Surviving spouses")==0)
            rez_mjf(val);
        else
            if(strcmp(s, "Heads of household")==0)
                rez_hoh(val);
            else
                rez_mfs(val);
    return 0;
}