#include <stdio.h>

int main(void) {
	unsigned short set_value, dev=1, page=0, reg=2;
	set_value = 0x1000 | 0x0400 | dev << 5 | 0x16 ;
	printf("%04x\n", set_value);
	set_value |= 0x8000;
	printf("%04x\n", set_value);
	return 0;
}