int main(void)

{

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

	return0;

}