#include "bits/stdc++.h"
using namespace std;
string Name;
int N;
inline double Element(int Start){
if(Name[Start]=='H'){
if(Name[Start+1]=='f')return 178.5;
if(Name[Start+1]=='g')return 201.0;
return 1.0;
}
if(Name[Start]=='A'){
if(Name[Start+1]=='l')return 27.0;
if(Name[Start+1]=='g')return 108.0;
if(Name[Start+1]=='u')return 197.0;
}
if(Name[Start]=='C'){
if(Name[Start+1]=='l')return 35.5;
if(Name[Start+1]=='u')return 64.0;
if(Name[Start+1]=='a')return 40.0;
return 12.0;
}
if(Name[Start]=='N'){
if(Name[Start+1]=='a')
return 23.0;
return 14.0;
}
if(Name[Start]=='M'){
if(Name[Start+1]=='n')return 55.0;
if(Name[Start+1]=='g')return 24.0;
}
if(Name[Start]=='F'){
if(Name[Start+1]=='e')
return 56.0;
return 19.0;
}
if(Name[Start]=='S'){
if(Name[Start+1]=='i')
return 28.0;
return 32.0;
}
if(Name[Start]=='P'){
if(Name[Start+1]=='t')
return 195.0;
return 31.0;
}
if(Name[Start]=='O')return 16.0;
if(Name[Start]=='K')return 39.0;
if(Name[Start]=='Z'&&Name[Start+1]=='n')
return 65.0;
if(Name[Start]=='L')return 127.0;
if(Name[Start]=='B'&&Name[Start+1]=='a')
return 137.0;
}
inline double ReadNum(int Start,int Max){
double Sum=0;
for(register int i=Start;Name[i]>='0'&&Name[i]<='9'&&i<=Max;i++)
Sum=Sum*10+(Name[i]-'0');
return Sum;
}
inline double Search(int L,int R){
double Sum=0;
for(register int i=L;i<=R;i++){
if(Name[i]=='~'){
if(Name[i+1]<'0'||Name[i+1]>'9'){
Sum+=18.0;
break;
}
Sum+=(ReadNum(i+1,R))*18.0;
break;
}
if(Name[i]=='('){
int j=i;
while(Name[j]!=')')
j++;
double Add=Search(i+1,j-1);
i=j;
if(Name[i+1]=='_'){
i+=3;
double Mul=0;
while(Name[i]>='0'&&Name[i]<='9'){
Mul=Mul*10+(Name[i]-'0');
i++;
}
Add*=Mul;
}
Sum+=Add;
}
if(Name[i]>='A'&&Name[i]<='Z'){
#define OK1 Name[i]>='A'&&Name[i]<='Z'
#define OK2 Name[i]>='a'&&Name[i]<='z'
double Add=0,Last=0;
while(i<=R&&((OK1)||(OK2))){
if(OK1)
Add+=Element(i),Last=Element(i);
i++;
}i--;
if(Name[i+1]=='_'){
i+=3;
Add-=Last;
double Mul=0;
while(Name[i]>='0'&&Name[i]<='9'){
Mul=Mul*10+(Name[i]-'0');
i++;
}
Last*=Mul;
Add+=Last;
}
Sum+=Add;
}
}
return Sum;
}
int main(void){
cin>>Name;
N=Name.size();
double Sum=Search(0,N-1);
if(Sum!=(int)Sum)
printf("%.1f\n",Sum);
else printf("%d\n",(int)Sum);
return 0;
}