#include <stdio.h>

int main(void) {
	int i = 0x6F56DF77;
	printf("%8X", (i << 1) + 1);
	
	return 0;
}