#include <stdio.h>

int main(void) {
	printf("%d",0x6);
	printf("%d",0x14);
	printf("%d",0xD);
	return 0;
}