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

using namespace std;

char S[100];
int VALUE;
int LEN;

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

    fgets(S,105,stdin);
    scanf("%d\n",&VALUE);
    LEN=strlen(S)-1;

    if (LEN==6)
    {
        if (VALUE>=0 && VALUE<9075)
            printf("%d\n",((VALUE*10)/100));

        if (VALUE>=9075 && VALUE<36900)
            printf("%d\n",((VALUE*15)/100));

        if (VALUE>=36900 && VALUE<89350)
            printf("%d\n",((VALUE*25)/100));


        if (VALUE>=89350 && VALUE<186350)
            printf("%d\n",((VALUE*28)/100));

        if (VALUE>=186350 && VALUE<405100)
            printf("%d\n",((VALUE*33)/100));

        if (VALUE>=405100 && VALUE<406750)
            printf("%d\n",((VALUE*35)/100));

        if (VALUE>=406750)
            printf("%d\n",int((double(VALUE)*(39.6))/100));
    }

    if (LEN==19 || LEN==16)
    {
        if (VALUE>=0 && VALUE<18150)
            printf("%d\n",((VALUE*10)/100));

        if (VALUE>=18150 && VALUE<73800)
            printf("%d\n",((VALUE*15)/100));

        if (VALUE>=73800 && VALUE<148850)
            printf("%d\n",((VALUE*25)/100));


        if (VALUE>=148850 && VALUE<226850)
            printf("%d\n",((VALUE*28)/100));

        if (VALUE>=226850 && VALUE<405100)
            printf("%d\n",((VALUE*33)/100));

        if (VALUE>=405100 && VALUE<457600)
            printf("%d\n",((VALUE*35)/100));

        if (VALUE>=457600)
            printf("%d\n",int((double(VALUE)*(39.6))/100));
    }

    if (LEN==17)
    {
        if (VALUE>=0 && VALUE<12950)
            printf("%d\n",((VALUE*10)/100));

        if (VALUE>=12950 && VALUE<49400)
            printf("%d\n",((VALUE*15)/100));

        if (VALUE>=49400 && VALUE<127550)
            printf("%d\n",((VALUE*25)/100));


        if (VALUE>=127550 && VALUE<206600)
            printf("%d\n",((VALUE*28)/100));

        if (VALUE>=206600 && VALUE<405100)
            printf("%d\n",((VALUE*33)/100));

        if (VALUE>=405100 && VALUE<432200)
            printf("%d\n",((VALUE*35)/100));

        if (VALUE>=432200)
           printf("%d\n",int((double(VALUE)*(39.6))/100));
    }

    if (LEN==25)
    {
        if (VALUE>=0 && VALUE<9075)
            printf("%d\n",((VALUE*10)/100));

        if (VALUE>=9075 && VALUE<36900)
            printf("%d\n",((VALUE*15)/100));

        if (VALUE>=36900 && VALUE<74425)
            printf("%d\n",((VALUE*25)/100));


        if (VALUE>=74425 && VALUE<113425)
            printf("%d\n",((VALUE*28)/100));

        if (VALUE>=113425 && VALUE<202550)
            printf("%d\n",((VALUE*33)/100));

        if (VALUE>=202550 && VALUE<228800)
            printf("%d\n",((VALUE*35)/100));

        if (VALUE>=228800)
            printf("%d\n",int((double(VALUE)*(39.6))/100));
    }


    fclose(stdin);
    fclose(stdout);

    return 0;
}