#include <stdio.h>

int main(void) {
printf("%d\n", 4-10);
return 0;
}