#include <iostream>
#include <cstring>
using namespace std;
char x[121], cuv[121];
int sum, i, t, tip, j, nr;
int main()
{
	while(cin.getline(x, 121))
	{
		sum=0;
		int p=strlen(x);
		for(i=0; i<p; i++)
		{
			if(isalpha(x[i]) || isdigit(x[i]) || x[i]=='[' || x[i]==']')
			{
				t=0;
				while(isalpha(x[i]) || isdigit(x[i]) || x[i]=='[' || x[i]==']')
				{
					cuv[t]=x[i];
					t++;
					i++;
				}
				cuv[t]=0;
				if(strcmp(cuv, "char")==0)
					tip=1;
				else if(strcmp(cuv, "short")==0)
					tip=2;
				else if(strcmp(cuv, "int")==0)
					tip=4;
				else if(strcmp(cuv, "unsigned")==0)
					continue;
				else
				{
					int l=strlen(cuv);
					int pr=1;
					for(j=0; j<l; j++)
					{
						if(isdigit(cuv[j]))
						{
							nr=0;
							while(isdigit(cuv[j]))
							{
								nr=nr*10+(cuv[j]-48);
								j++;
							}
							pr=pr*nr;
						}
					}
					sum=sum+pr*tip;
				}
			}
		}
		cout<<sum<<"\n";
	}
}