#include <stdio.h>

int main(void) {
	int i = 5;
	i += ++i + i++;
	printf("%d\n", i);
	return 0;
}