#include <stdio.h>

int main(void) {
	
 int i=4;
    int x;
    x= ++i + ++i + ++i;    
    printf("%d",x);	
	
	
	
	
	
	
	
	
	
	
	
	
	
	
	// your code goes here
	return 0;
}