#include <cstdio>
#include <cstring>

int limits[4][7] = {
    {9075, 36900, 89350, 186350, 405100, 406750, 1000000},
    {18150, 73800, 148850, 226850, 405100, 457600, 1000000},
    {12950, 49400, 127550, 206600, 405100, 432200, 1000000},
    {9075, 36900, 74425, 113425, 202550, 228800, 1000000}
};

double rate[7] = {
    10, 15, 25, 28, 33, 35, 39.6
};

int N, v;
char status[100];

int main() {
    fgets(status, 100, stdin);
    scanf("%d", &N);
    
    switch (status[strlen(status)-2]) {
        case 'e': {
            v = 0;
            break;
        }
        case 's' : {
            v = 1;
            break;
        }
        case 'd' : {
            v = 2;
            break;
        }
        case 'y' : {
            v = 3;
            break;
        }
    }
    
    for (int i=0; i<7; ++i) {
        if (N <= limits[v][i]) {
            printf("%d\n", (int)(N * rate[i] / 100));
            break;
        }
    }
    
    return 0;
}