#include<stdio.h>

int main(void)

{

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

	return0;

}