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


int main()
{
    char sin[]="Single",
   char mer[]="Married joint filer",
char head[]="Head of household",
char mar[]="Married filing separately",
char sur[]="Surviving spouse";
    int ert,rat;
    char s[50];
    gets(s);
    scanf("%d",&ert);

    if(strcmp(s,sin)==0)
        {
            if(ert<=9075)rat=10;
            else if(ert<=36900)rat=15;
            else if(ert<=89350)rat=25;
            else if(ert<=186350)rat=28;
            else if(ert<=405100)rat=33;
            else if(ert<=406750)rat=35;
            else {rat=396;
            printf("%d",ert*rat/1000);}
        }
    else if((strcmp(s,mer)==0)||(strcmp(s,sur)==0))
        {
            if(ert<=18150)rat=10;
            else if(ert<=73800)rat=15;
            else if(ert<=148850)rat=25;
            else if(ert<=226850)rat=28;
            else if(ert<=405100)rat=33;
            else if(ert<=457600)rat=35;
            else{ rat=396;
             printf("%d",ert*rat/1000);}
        }
    else if(strcmp(s,head)==0)
    {
        if(ert<=12950)rat=10;
            else if(ert<=49400)rat=15;
            else if(ert<=127550)rat=25;
            else if(ert<=206600)rat=28;
            else if(ert<=405100)rat=33;
            else if(ert<=432200)rat=35;
            else {rat=396;
             printf("%d",ert*rat/1000);}
    }
    else if(strcmp(s,mar)==0)
    {
        if(ert<=9075)rat=10;
            else if(ert<=36900)rat=15;
            else if(ert<=74425)rat=25;
            else if(ert<=113425)rat=28;
            else if(ert<=202550)rat=33;
            else if(ert<=228800)rat=35;
            else{ rat=396;
             printf("%d",ert*rat/1000);}
    }
if(rat!=396)printf("%d",ert*rat/100);
    return 0;
}