import java.io.BufferedReader; import java.io.BufferedWriter; import java.io.FileInputStream; import java.io.FileNotFoundException; import java.io.FileWriter; import java.io.IOException; import java.io.InputStreamReader; import java.io.PrintWriter; import java.util.ArrayList; import java.util.Comparator; import java.util.List; import java.util.PriorityQueue; import java.util.Queue; public class Main { public static void main(String[] args) throws NumberFormatException, IOException{ ContestScanner in = new ContestScanner(); int[] me = new int[3]; me[0] = in.nextInt(); me[1] = in.nextInt(); me[2] = in.nextInt(); char[] s = in.nextToken().toCharArray(); int max = Math.min(s.length, me[0]+me[1]+me[2]); int[] te = new int[3]; for(int i=0; i= te[(i+1)%3]){ int dif = me[i]-te[(i+1)%3]; me[i] -= te[(i+1)%3]; point += te[(i+1)%3]*3; te[(i+1)%3] = 0; }else{ int dif = te[(i+1)%3] - me[i]; te[(i+1)%3] -= me[i]; point += me[i]*3; me[i] = 0; } } for(int i=0; i<3; i++){ if(me[i] >= te[i]){ int dif = me[i]-te[i]; me[i] -= te[i]; point += te[i]; te[i] = 0; }else{ int dif = te[i] - me[i]; te[i] -= me[i]; point += me[i]; me[i] = 0; } } System.out.println(point); } } class MyComp implements Comparator{ public int compare(int[] a, int[] b) { return a[0] - b[0]; } } class Reverse implements Comparator{ public int compare(Integer arg0, Integer arg1) { return arg1 - arg0; } } class Node implements Comparable{ int id; List edge = new ArrayList(); // List cost = new ArrayList(); int sum; public Node(int id){ this.id = id; sum = 100000000; } public void createEdge(Node node){ edge.add(node); // cost.add(c); } @Override public int compareTo(Node o) { // TODO 自動生成されたメソッド・スタブ return sum - o.sum; } } class ContestWriter{ private PrintWriter out; public ContestWriter(String filename) throws IOException{ out = new PrintWriter(new BufferedWriter(new FileWriter(filename))); } public ContestWriter() throws IOException{ out = new PrintWriter(System.out); } public void println(String str){ out.println(str); } public void print(String str){ out.print(str); } public void close(){ out.close(); } } class ContestScanner{ private BufferedReader reader; private String[] line; private int idx; public ContestScanner() throws FileNotFoundException{ reader = new BufferedReader(new InputStreamReader(System.in)); } public ContestScanner(String filename) throws FileNotFoundException{ reader = new BufferedReader(new InputStreamReader(new FileInputStream(filename))); } public String nextToken() throws IOException{ if(line == null || line.length <= idx){ line = reader.readLine().trim().split(" "); idx = 0; } return line[idx++]; } public long nextLong() throws IOException, NumberFormatException{ return Long.parseLong(nextToken()); } public int nextInt() throws NumberFormatException, IOException{ return (int)nextLong(); } public double nextDouble() throws NumberFormatException, IOException{ return Double.parseDouble(nextToken()); } }