#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main()
{
    char type[30];
    scanf(" %[^\n]s",type);
    long int sum;
    scanf("%ld",&sum);
    double taxe;
    char single[]="Single";
    char married1[]="Married joint filers";
    char surviving[]="Surviving spouses";
    char heads[]="Heads of household";
    char married2[]="Married filing separately";
    if (strcmp(type,single)==0)
    {
        if (sum<9075)
        {
            printf("%d",sum*10/100);
        }
        else if (sum<36900)
        {
            printf("%d",sum*15/100);
        }
        else if (sum<89350)
        {
            printf("%d",sum*25/100);
        }
        else if (sum<186350)
        {
            printf("%d",sum*28/100);
        }
        else if (sum<405100)
        {
            printf("%d",sum*33/100);
        }
        else if (sum<406750)
        {
            printf("%d",sum*35/100);
        }
        else
        {
            printf("%d",sum*396/1000);
        }
    }
    else if ((strcmp(type,married1)==0) || (strcmp(surviving,type)==0))
    {
        if (sum<18150)
        {
            printf("%d",sum*10/100);
        }
        else if (sum<73800)
        {
            printf("%d",sum*15/100);
        }
        else if (sum<148850)
        {
            printf("%d",sum*25/100);
        }
        else if (sum<226850)
        {
            printf("%d",sum*28/100);
        }
        else if (sum<405100)
        {
            printf("%d",sum*33/100);
        }
        else if (sum<457600)
        {
            printf("%d",sum*35/100);
        }
        else
        {
            printf("%d",sum*396/1000);
        }
    }
    else if (strcmp(type,heads)==0)
    {
        if (sum<12950)
        {
            printf("%d",sum*10/100);
        }
        else if (sum<49400)
        {
            printf("%d",sum*15/100);
        }
        else if (sum<127550)
        {
            printf("%d",sum*25/100);
        }
        else if (sum<206600)
        {
            printf("%d",sum*28/100);
        }
        else if (sum<405100)
        {
            printf("%d",sum*33/100);
        }
        else if (sum<432200)
        {
            printf("%d",sum*35/100);
        }
        else
        {
            printf("%d",sum*396/1000);
        }
    }
    else if (strcmp(type,married2)==0)
    {
        if (sum<9075)
        {
            printf("%d",sum*10/100);
        }
        else if (sum<36900)
        {
            printf("%d",sum*15/100);
        }
        else if (sum<74425)
        {
            printf("%d",sum*25/100);
        }
        else if (sum<113425)
        {
            printf("%d",sum*28/100);
        }
        else if (sum<202550)
        {
            printf("%d",sum*33/100);
        }
        else if (sum<228800)
        {
            printf("%d",sum*35/100);
        }
        else
        {
            printf("%d",sum*396/1000);
        }
    }
    return 0;
}