#include<stdio.h>
int work()
{
	char c,x;
	char s[6];
	int n,l=0;
	while((c=getchar())!='\n')
	{
		if(c==']')
		break;
		scanf("%s",s);
		scanf("%d",&n);
		if(c=='R')
		{
			x=getchar();
			l+=n*work();
			x=getchar();
		}
		if(c=='B')
		{
			x=getchar();
			l-=n;
		}
		if(c=='F')
		{
			x=getchar();
			l+=n;
		}
	//	if(x=='\n')
	//	break;
	}
	return l;
}
int main()
{
	int k=work();
	printf("%d",k);
}