#include <stdio.h>

int main(void)
{
	int N = 6;
	printf("%d", (N * (N + 1)) / 2);

	return 0;
}