a[3],b[5],s,i;main(t){for(scanf("%d%d%d",a,a+1,a+2);!~(t=getchar()%6%5)?i=i<3?s+=a[i]<b[i]?a[i]:b[i],i+1:!printf("%d",s):a[i=(t+2)%3]&&t-4?a[i]--,s+=3:++b[t];);}