printf("%04x", 11);