#include<stdio.h>

int main(void)

{

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

	return0;

}