#include<bits/stdc++.h>
using lint=long long;
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    std::vector<lint>a(3),b(3);
    for(lint&x:a)std::cin>>x;
    std::string s;std::cin>>s;
    for(char c:s){
        if(c=='G')b.at(0)++;
        if(c=='C')b.at(1)++;
        if(c=='P')b.at(2)++;
    }
    lint ans=0;
    for(lint i=0;i<3;i++){
        lint j=(i+1)%3;
        lint x=std::min(a.at(i),b.at(j));
        ans+=3*x;
        a.at(i)-=x;
        b.at(j)-=x;
    }
    for(lint i=0;i<3;i++){
        lint x=std::min(a.at(i),b.at(i));
        ans+=x;
    }
    std::cout<<ans<<'\n';
}