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

using namespace std;

int main()
{
    char buffer[100];
    int sum=0,type;
    while(scanf("%s",buffer)==1){
        if(strcmp(buffer,"\n")==0 || strlen(buffer)>= 2)
            break;
        sum=0;
        if(strcmp(buffer,"unsigned")==0)
            scanf("%s",buffer);
        if(strcmp(buffer,"char")== 0)
            type=1;
        else if(strcmp(buffer,"short")== 0)
            type=2;
        else if(strcmp(buffer,"int")== 0)
            type=4;
        scanf("%s",buffer);
        char* p=strtok(buffer,",\n");
        while(p){
            int calc=1,aux;
            for(int i=0;i<strlen(p);i++){
                if(p[i]=='['){
                    sscanf(p+i+1,"%d",&aux);
                    calc*=aux;
                    while(p[i]!=']')
                        i++;
                }
            }
            sum+=calc*type;
            p=strtok(NULL,",\n");
        }
        cout<<sum<<endl;
    }
    return 0;
}