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

int ans, dim, temp;
char line[101], *item, *vect;

int dimension(char* type) {
    if(!strcmp(type, "char")) return 1;
    if(!strcmp(type, "short")) return 2;
    if(!strcmp(type, "int")) return 4;
    return 0;
}

int vectorDimension(char* number) {
    int ans = 0;
    while(*number != ']') {
        ans = ans * 10 + (*number - '0');
        ++number;
    }
    return ans;
}

int main() {
    //freopen("data.in", "r", stdin);
    while(fgets(line, 100, stdin)) {
        line[strlen(line) - 1] = 0;
        item = strtok(line, " ,");
        if(!strcmp(item, "unsigned")) item = strtok(NULL, " ,");
        dim = dimension(item);
        ans = 0;
        while((item = strtok(NULL, " ,")) != NULL) {
            if((vect = strchr(item, '[')) == NULL) {
                ans += 1;
                continue;
            }
            temp = 1;
            while(vect != NULL) {
                ++vect;
                temp *= vectorDimension(vect);
                vect = strchr(vect, '[');
            }
            ans += temp;
        }
        printf("%d\n", ans * dim);
    }
    return 0;
}