执行以下代码后，变量a的值是？ int a = 0x12; a = a & 0x0F; printf("%d", a);