#include<stdio.h>

int main(void)

{

	printf("%d", 15 + 37 );

	return0;

}