#include<stdio.h>
int main(){
	int a,b,c,d=1;
	scanf("%d %d %d",&a,&b,&c);
	while(c>0){
		d++;
		if(b>0){
			c--;
			b--;
			d++;
		}
		if(b==0){
			if(a>0){
				c--;
				a--;
			}
		}
		
	}
	
	printf("%d",d);
	getchar();

}