0x9f3..efc