#include<stdio.h>
#include<algorithm>
#include<cstring>
#define maxn 100
using namespace std;

int n;
char s[maxn];
double m,t;

void read()
{
    fgets(s+1,sizeof(s),stdin);
    n=strlen(s+1)-1;
    scanf("%lf",&m);
}

void solve()
{
    if(n==6)
    {
        if(m<9075) t=10/100;
        else
         if(m>=9075 && m<36900) t=15/100;
         else
          if(m>=36900 && m<89350) t=25/100;
          else
           if(m>=89350 && m<186350) t=28/100;
           else
            if(m>=186350 && m<405100) t=33/100;
            else
             if(m>=405100 && m<406750) t=35/100;
             else
              if(m>=406750) t=39.6/100;
    }
    else
     if(n==16 || n==19)
     {
         if(m<18150) t=10/100;
        else
         if(m>=18150 && m<73800) t=15/100;
         else
          if(m>=73800 && m<148850) t=25/100;
          else
           if(m>=148850 && m<226850) t=28/100;
           else
            if(m>=226850 && m<405100) t=33/100;
            else
             if(m>=405100 && m<457600) t=35/100;
             else
              if(m>=457600) t=39.6/100;
     }
     else
      if(n==17)
      {
          if(m<12950) t=10/100;
        else
         if(m>=12950 && m<49400) t=15/100;
         else
          if(m>=49400 && m<127550) t=25/100;
          else
           if(m>=127550 && m<206600) t=28/100;
           else
            if(m>=206600 && m<405100) t=33/100;
            else
             if(m>=405100 && m<432200) t=35/100;
             else
              if(m>=432200) t=39.6/100;

      }
      else
       if(n==25)
       {
           if(m<9075) t=10/100;
        else
         if(m>=9075 && m<36900) t=15/100;
         else
          if(m>=36900 && m<74425) t=25/100;
          else
           if(m>=74425 && m<113425) t=28/100;
           else
            if(m>=113425 && m<202550) t=33/100;
            else
             if(m>=202550 && m<228800) t=35/100;
             else
              if(m>=228800) t=39.6/100;

       }
}

int main()
{
    //freopen("tax.in","r",stdin);
    //freopen("tax.out","w",stdout);

    read();
    solve();
    printf("%d",int(m*t));

    fclose(stdin);
    fclose(stdout);
    return 0;
}